src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java

*** 2731,2741 ****
      /**
       * Returns true iff the first signature is a <em>sub
       * signature</em> of the other.  This is <b>not</b> an equivalence
       * relation.
       *
!      * @jls section 8.4.2.
       * @see #overrideEquivalent(Type t, Type s)
       * @param t first signature (possibly raw).
       * @param s second signature (could be subjected to erasure).
       * @return true if t is a sub signature of s.
       */
--- 2731,2741 ----
      /**
       * Returns true iff the first signature is a <em>sub
       * signature</em> of the other.  This is <b>not</b> an equivalence
       * relation.
       *
!      * @jls 8.4.2 Method Signature
       * @see #overrideEquivalent(Type t, Type s)
       * @param t first signature (possibly raw).
       * @param s second signature (could be subjected to erasure).
       * @return true if t is a sub signature of s.
       */
*** 2750,2760 ****
      /**
       * Returns true iff these signatures are related by <em>override
       * equivalence</em>.  This is the natural extension of
       * isSubSignature to an equivalence relation.
       *
!      * @jls section 8.4.2.
       * @see #isSubSignature(Type t, Type s)
       * @param t a signature (possible raw, could be subjected to
       * erasure).
       * @param s a signature (possible raw, could be subjected to
       * erasure).
--- 2750,2760 ----
      /**
       * Returns true iff these signatures are related by <em>override
       * equivalence</em>.  This is the natural extension of
       * isSubSignature to an equivalence relation.
       *
!      * @jls 8.4.2 Method Signature
       * @see #isSubSignature(Type t, Type s)
       * @param t a signature (possible raw, could be subjected to
       * erasure).
       * @param s a signature (possible raw, could be subjected to
       * erasure).
*** 4212,4222 ****
          return covariantReturnType(tres, sres, warner);
      }
  
      /**
       * Return-Type-Substitutable.
!      * @jls section 8.4.5
       */
      public boolean returnTypeSubstitutable(Type r1, Type r2) {
          if (hasSameArgs(r1, r2))
              return resultSubtype(r1, r2, noWarnings);
          else
--- 4212,4222 ----
          return covariantReturnType(tres, sres, warner);
      }
  
      /**
       * Return-Type-Substitutable.
!      * @jls 8.4.5 Method Result
       */
      public boolean returnTypeSubstitutable(Type r1, Type r2) {
          if (hasSameArgs(r1, r2))
              return resultSubtype(r1, r2, noWarnings);
          else