Propagate type inference through variable gets.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart

Index: pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
index e8a8d88cde432ba00fb1fb1371ede3f70e4b01eb..0377e408d96e30c8c5aaf639aee530ba749a3360 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
@@ -932,9 +932,9 @@ class KernelVariableGet extends VariableGet implements KernelExpression {
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
     var variable = this.variable as KernelVariableDeclaration;
     bool mutatedInClosure = variable._mutatedInClosure;
-    DartType declaredType = variable._declaredType;
+    DartType declaredOrInferredType = variable.type;
     return inferrer.inferVariableGet(typeContext, typeNeeded, mutatedInClosure,
-        _fact, _scope, fileOffset, declaredType, (type) {
+        _fact, _scope, fileOffset, declaredOrInferredType, (type) {
       promotedType = type;
     });
   }