Fix crashes

framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java

@@ -1689,7 +1689,8 @@ private void annotate(
                     AnnotatedTypeVariable atv =
                             (AnnotatedTypeVariable)
                                     atypeFactory.getAnnotatedType(
-                                            wildcardType.getTypeVariable().asElement());
+                                            TypesUtils.wildcardToTypeParam(
+                                                    wildcardType.getUnderlyingType()));
                     wildcardType
                             .getExtendsBound()
                             .addAnnotations(atv.getUpperBound().getAnnotations());

framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

@@ -2564,11 +2564,14 @@ protected ParameterizedExecutableType methodFromUse(
         // Store varargType before calling setParameterTypes, otherwise we may lose the varargType
         // as it is the last element of the original parameterTypes.
         method.computeVarargType();
-        // Adapt parameters, which makes parameters and arguments be the same size for later
-        // checking.
-        List<AnnotatedTypeMirror> parameters =
-                AnnotatedTypes.adaptParameters(this, method, tree.getArguments(), null);
-        method.setParameterTypes(parameters);
+
+        if (inferTypeArgs) {
+            // Adapt parameters, which makes parameters and arguments be the same size for later
+            // checking.
+            List<AnnotatedTypeMirror> parameters =
+                    AnnotatedTypes.adaptParameters(this, method, tree.getArguments(), null);
+            method.setParameterTypes(parameters);
+        }
         return result;
     }
 
@@ -2666,7 +2669,10 @@ protected ParameterizedExecutableType methodFromUse(
             adaptGetClassReturnTypeToReceiver(methodType, receiverType, tree);
         }
 
-        methodType.setReturnType(applyCaptureConversion(methodType.getReturnType()));
+        if (inferTypeArgs) {
+            methodType.setReturnType(applyCaptureConversion(methodType.getReturnType()));
+        }
+
         return new ParameterizedExecutableType(methodType, typeargs);
     }
 
@@ -3053,12 +3059,15 @@ protected ParameterizedExecutableType constructorFromUse(
             con.getReturnType().replaceAnnotations(enumAnnos);
         }
 
-        // Adapt parameters, which makes parameters and arguments be the same size for later
-        // checking. The vararg type of con has been already computed and stored when calling
-        // typeVarSubstitutor.substitute.
-        List<AnnotatedTypeMirror> parameters =
-                AnnotatedTypes.adaptParameters(this, con, tree.getArguments(), tree);
-        con.setParameterTypes(parameters);
+        if (inferTypeArgs) {
+            // Adapt parameters, which makes parameters and arguments be the same size for later
+            // checking.
+            // The vararg type of con has been already computed and stored when calling
+            // typeVarSubstitutor.substitute.
+            List<AnnotatedTypeMirror> parameters =
+                    AnnotatedTypes.adaptParameters(this, con, tree.getArguments(), tree);
+            con.setParameterTypes(parameters);
+        }
 
         return new ParameterizedExecutableType(con, typeargs);
     }

framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java

@@ -66,7 +66,8 @@ private InferenceType(
             AnnotationMirrorMap<QualifierVar> qualifierVars,
             Java8InferenceContext context) {
         super(context);
-        assert type.getKind() == typeMirror.getKind();
+        assert type.getKind() == typeMirror.getKind()
+                : "Expected kind: " + type.getKind() + ", but got: " + typeMirror.getKind();
         this.type = type.asUse();
         this.typeMirror = typeMirror;
         this.qualifierVars = qualifierVars;