Fix constructor invocation type inference.

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

Index: pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
index b6b11317291f7bb6ce18d4edc8e26a9c9e3991ec..b8856021875d25c967cda1cc3fb7bc078b888e6f 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
@@ -169,9 +169,12 @@ abstract class TypeInferrerImpl<S, E, V, F> extends TypeInferrer<S, E, V, F> {
           [],
           [],
           typeContext,
-          typesFromDownwardsInference);
+          typesFromDownwardsInference,
+          downwards: true);
       substitution = Substitution.fromPairs(
           targetTypeParameters, typesFromDownwardsInference);
+      formalTypes = [];
+      actualTypes = [];
     } else {
       inferredClassType = targetClass.rawType;
     }