[dart2js] Add normalization to RTI.

Change-Id: Ieecb90fbc6fdf13a44373d285fc5da450a9876b3
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/134960
Commit-Queue: Mayank Patke <[email protected]>
Reviewed-by: Sigmund Cherem <[email protected]>

Author: fishythefish

CHANGELOG.md

@@ -68,6 +68,11 @@ additional details see the [announcement].
   web has been unsupported and prevented by the Dart build systems since Dart
   v2.0.0. All known exception cases have been cleaned up. This change makes DDC
   and dart2js now issue a compile-time error directly as well.
+* **Breaking Change**: Types are now normalized. See [normalization] for the
+  full specification. Types will now be printed in their normal form, and
+  mutual subtypes with the same normal form will now be considered equal.
+
+ [normalization]: https://github.com/dart-lang/language/blob/master/resources/type-system/normalization.md
 
 #### Linter
 

pkg/compiler/lib/src/js_backend/runtime_types_new.dart

@@ -44,11 +44,6 @@ abstract class RecipeEncoder {
   jsAst.Literal encodeMetadataRecipe(ModularEmitter emitter,
       InterfaceType declaringType, DartType supertypeArgument);
 
-  /// Converts a recipe into a fragment of code that accesses the evaluated
-  /// recipe.
-  // TODO(33422): Remove need for this by pushing stubs through SSA.
-  jsAst.Expression evaluateRecipe(ModularEmitter emitter, jsAst.Literal recipe);
-
   // TODO(sra): Still need a $signature function when the function type is a
   // function of closed type variables. See if the $signature method can always
   // be generated through SSA in those cases.
@@ -91,13 +86,6 @@ class RecipeEncoderImpl implements RecipeEncoder {
         .recipe;
   }
 
-  @override
-  jsAst.Expression evaluateRecipe(
-      ModularEmitter emitter, jsAst.Literal recipe) {
-    return js('#(#)',
-        [emitter.staticFunctionAccess(commonElements.findType), recipe]);
-  }
-
   @override
   jsAst.Expression encodeSignature(ModularNamer namer, ModularEmitter emitter,
       DartType type, jsAst.Expression this_) {