Simplify the parameter checks for overrides.

DO NOT MERGE, probably.

See discussion from about
jspecify/jspecify-reference-checker#193 (comment)
onward.

This PR is a lazy way for me to run tests, since I don't trust myself to
find the right way to run them all locally.

framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java

@@ -4600,14 +4600,8 @@ private boolean checkParameters() {
 
             boolean result = true;
             for (int i = 0; i < overriderParams.size(); ++i) {
-                AnnotatedTypeMirror capturedParam =
-                        atypeFactory.applyCaptureConversion(overriddenParams.get(i));
-                boolean success = typeHierarchy.isSubtype(capturedParam, overriderParams.get(i));
-                if (!success) {
-                    success =
-                            testTypevarContainment(overriddenParams.get(i), overriderParams.get(i));
-                }
-
+                boolean success =
+                        typeHierarchy.isSubtype(overriddenParams.get(i), overriderParams.get(i));
                 checkParametersMsg(success, i, overriderParams, overriddenParams);
                 result &= success;
             }