Revert "[cfe] Pass variance through in ReplacementVisitor"

This reverts commit a212650.

Reason for revert: Regressions detected by the Dart CI bot.

Original change's description:
> [cfe] Pass variance through in ReplacementVisitor
>
> Change-Id: I8dc9c1a77c5dfe70ad186bbd6254aaf5353aa0ca
> Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/180900
> Reviewed-by: Johnni Winther <[email protected]>
> Commit-Queue: Dmitry Stefantsov <[email protected]>

[email protected],[email protected]

Change-Id: I678c9f013b1df9c7fe4da043fc1e1b19d3f24168
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/181202
Reviewed-by: Dmitry Stefantsov <[email protected]>
Commit-Queue: Dmitry Stefantsov <[email protected]>

Author: Dmitry Stefantsov

pkg/front_end/lib/src/fasta/type_inference/type_demotion.dart

@@ -65,16 +65,12 @@ class _HasPromotedTypeVariableVisitor extends DartTypeVisitor<bool> {
 /// with legacy types.
 DartType demoteTypeInLibrary(DartType type, Library library) {
   if (library.isNonNullableByDefault) {
-    return type.accept1(
-            const _DemotionNullabilityNormalization(
-                demoteTypeVariables: true, forNonNullableByDefault: true),
-            Variance.covariant) ??
+    return type.accept(const _DemotionNullabilityNormalization(
+            demoteTypeVariables: true, forNonNullableByDefault: true)) ??
         type;
   } else {
-    return type.accept1(
-            const _DemotionNullabilityNormalization(
-                demoteTypeVariables: true, forNonNullableByDefault: false),
-            Variance.covariant) ??
+    return type.accept(const _DemotionNullabilityNormalization(
+            demoteTypeVariables: true, forNonNullableByDefault: false)) ??
         type;
   }
 }
@@ -89,10 +85,8 @@ DartType normalizeNullabilityInLibrary(DartType type, Library library) {
   if (library.isNonNullableByDefault) {
     return type;
   } else {
-    return type.accept1(
-            const _DemotionNullabilityNormalization(
-                demoteTypeVariables: false, forNonNullableByDefault: false),
-            Variance.covariant) ??
+    return type.accept(const _DemotionNullabilityNormalization(
+            demoteTypeVariables: false, forNonNullableByDefault: false)) ??
         type;
   }
 }
@@ -125,7 +119,7 @@ class _DemotionNullabilityNormalization extends ReplacementVisitor {
   }
 
   @override
-  DartType visitTypeParameterType(TypeParameterType node, int variance) {
+  DartType visitTypeParameterType(TypeParameterType node) {
     Nullability newNullability = visitNullability(node);
     if (demoteTypeVariables && node.promotedBound != null) {
       return new TypeParameterType(

pkg/front_end/lib/src/fasta/type_inference/type_schema_elimination.dart

@@ -53,11 +53,17 @@ class _TypeSchemaEliminationVisitor extends ReplacementVisitor {
   final DartType topType;
   final DartType bottomType;
 
-  _TypeSchemaEliminationVisitor(this.topType, this.bottomType);
+  bool isLeastClosure;
+
+  _TypeSchemaEliminationVisitor(
+      this.isLeastClosure, this.topType, this.bottomType);
+
+  void changeVariance() {
+    isLeastClosure = !isLeastClosure;
+  }
 
   @override
-  DartType defaultDartType(DartType node, int variance) {
-    bool isLeastClosure = variance == Variance.covariant;
+  DartType defaultDartType(DartType node) {
     if (node is UnknownType) {
       return isLeastClosure ? bottomType : topType;
     }
@@ -78,9 +84,9 @@ class _TypeSchemaEliminationVisitor extends ReplacementVisitor {
     assert(bottomType == const NeverType(Nullability.nonNullable) ||
         bottomType is NullType);
     _TypeSchemaEliminationVisitor visitor =
-        new _TypeSchemaEliminationVisitor(topType, bottomType);
-    DartType result = schema.accept1(
-        visitor, isLeastClosure ? Variance.covariant : Variance.contravariant);
+        new _TypeSchemaEliminationVisitor(isLeastClosure, topType, bottomType);
+    DartType result = schema.accept(visitor);
+    assert(visitor.isLeastClosure == isLeastClosure);
     return result ?? schema;
   }
 }

pkg/front_end/test/spell_checking_list_common.txt

@@ -878,7 +878,6 @@ discards
 discover
 discovered
 discovery
-discrepancy
 disk
 dispatch
 dispatches
@@ -1605,7 +1604,6 @@ invariantly
 inversion
 invert
 inverted
-inverter
 investigate
 invisible
 invocation