src/java.compiler/share/classes/javax/lang/model/util/Types.java

*** 89,99 ****
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type is a subtype
       *          of the second
!      * @throws IllegalArgumentException if given an executable or package type
       * @jls 4.10 Subtyping
       */
      boolean isSubtype(TypeMirror t1, TypeMirror t2);
  
      /**
--- 89,99 ----
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type is a subtype
       *          of the second
!      * @throws IllegalArgumentException if given a type for an executable, package, or module
       * @jls 4.10 Subtyping
       */
      boolean isSubtype(TypeMirror t1, TypeMirror t2);
  
      /**
*** 101,122 ****
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type is assignable
       *          to the second
!      * @throws IllegalArgumentException if given an executable or package type
       * @jls 5.2 Assignment Conversion
       */
      boolean isAssignable(TypeMirror t1, TypeMirror t2);
  
      /**
       * Tests whether one type argument <i>contains</i> another.
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type contains the second
!      * @throws IllegalArgumentException if given an executable or package type
       * @jls 4.5.1.1 Type Argument Containment and Equivalence
       */
      boolean contains(TypeMirror t1, TypeMirror t2);
  
      /**
--- 101,122 ----
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type is assignable
       *          to the second
!      * @throws IllegalArgumentException if given a type for an executable, package, or module
       * @jls 5.2 Assignment Conversion
       */
      boolean isAssignable(TypeMirror t1, TypeMirror t2);
  
      /**
       * Tests whether one type argument <i>contains</i> another.
       *
       * @param t1  the first type
       * @param t2  the second type
       * @return {@code true} if and only if the first type contains the second
!      * @throws IllegalArgumentException if given a type for an executable, package, or module
       * @jls 4.5.1.1 Type Argument Containment and Equivalence
       */
      boolean contains(TypeMirror t1, TypeMirror t2);
  
      /**
*** 137,147 ****
       * super-interfaces, a type mirror representing {@code java.lang.Object}
       * is returned.
       *
       * @param t  the type being examined
       * @return the direct supertypes, or an empty list if none
!      * @throws IllegalArgumentException if given an executable or package type
       * @jls 4.10 Subtyping
       */
      List<? extends TypeMirror> directSupertypes(TypeMirror t);
  
      /**
--- 137,147 ----
       * super-interfaces, a type mirror representing {@code java.lang.Object}
       * is returned.
       *
       * @param t  the type being examined
       * @return the direct supertypes, or an empty list if none
!      * @throws IllegalArgumentException if given a type for an executable, package, or module
       * @jls 4.10 Subtyping
       */
      List<? extends TypeMirror> directSupertypes(TypeMirror t);
  
      /**
*** 179,189 ****
      /**
       * Applies capture conversion to a type.
       *
       * @param t  the type to be converted
       * @return the result of applying capture conversion
!      * @throws IllegalArgumentException if given an executable or package type
       * @jls 5.1.10 Capture Conversion
       */
      TypeMirror capture(TypeMirror t);
  
      /**
--- 179,189 ----
      /**
       * Applies capture conversion to a type.
       *
       * @param t  the type to be converted
       * @return the result of applying capture conversion
!      * @throws IllegalArgumentException if given a type for an executable, package, or module
       * @jls 5.1.10 Capture Conversion
       */
      TypeMirror capture(TypeMirror t);
  
      /**