Support new malformed types semantics.

sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart

Index: sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
diff --git a/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart b/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
index dd1935b447758b614747bbdf74a37c1c0cf8139e..f29da1a29f80789cfac638be19ffbc741f342a35 100644
--- a/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
+++ b/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
@@ -403,7 +403,7 @@ class ConcreteTypesEnvironment {
     Types types = inferrer.compiler.types;
     bool paramMatches(ConcreteType concrete, VariableElement parameter) {
       DartType parameterType = parameter.variables.type;
-      if (parameterType.isDynamic || parameterType.isRaw) {
+      if (parameterType.treatAsDynamic || parameterType.isRaw) {
         return true;
       }
       for (BaseType baseType in concrete.baseTypes) {
@@ -1197,7 +1197,7 @@ class ConcreteTypesInferrer extends TypesInferrer {
     for (final type in typesReturned) {
       if (type == native.SpecialType.JsObject) {
         registerDynamic();
-      } else if (type.isDynamic) {
+      } else if (type.treatAsDynamic) {
         registerDynamic();
       } else {
         ClassElement element = type.element;