We don't compute propagated types of non-local variables.

pkg/analyzer/test/src/summary/resynthesize_common.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library test.src.serialization.elements_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/constant/value.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
@@ skipping 29 matching lines @@
    * so they are not resynthesized.
    */
   Set<String> variablesWithNotConstInitializers = new Set<String>();
 
   /**
    * Tests may set this to `true` to indicate that a missing file at the time of
    * summary resynthesis shouldn't trigger an error.
    */
   bool allowMissingFiles = false;
 
-  bool get checkPropagatedTypes => true;
-
   void addLibrary(String uri) {
     otherLibrarySources.add(context.sourceFactory.forUri(uri));
   }
 
   Source addLibrarySource(String filePath, String contents) {
     Source source = addSource(filePath, contents);
     otherLibrarySources.add(source);
     return source;
   }
 
@@ skipping 643 matching lines @@
       expect(rImpl, isNot(new isInstanceOf<Member>()), reason: desc);
     }
   }
 
   void compareExecutableElements(
       ExecutableElement resynthesized, ExecutableElement original, String desc,
       {bool shallow: false}) {
     compareElements(resynthesized, original, desc);
     compareParameterElementLists(
         resynthesized.parameters, original.parameters, desc);
-    if (checkPropagatedTypes || !original.hasImplicitReturnType) {
+    if (!original.hasImplicitReturnType) {
       compareTypes(
           resynthesized.returnType, original.returnType, '$desc return type');
     }
     if (!shallow) {
       compareTypes(resynthesized.type, original.type, desc);
     }
     expect(resynthesized.typeParameters.length, original.typeParameters.length);
     for (int i = 0; i < resynthesized.typeParameters.length; i++) {
       compareTypeParameterElements(
           resynthesized.typeParameters[i],
@@ skipping 217 matching lines @@
     compareExecutableElements(resynthesized, original, desc);
     expect(resynthesized.variable, isNotNull);
     expect(resynthesized.variable.location, original.variable.location);
   }
 
   void comparePropertyInducingElements(
       PropertyInducingElementImpl resynthesized,
       PropertyInducingElementImpl original,
       String desc) {
     compareVariableElements(resynthesized, original, desc);
-    if (checkPropagatedTypes) {
-      compareTypes(resynthesized.propagatedType, original.propagatedType, desc);
-    }
     if (original.getter == null) {
       expect(resynthesized.getter, isNull);
     } else {
       expect(resynthesized.getter, isNotNull);
       expect(resynthesized.getter.location, original.getter.location);
     }
     if (original.setter == null) {
       expect(resynthesized.setter, isNull);
     } else {
       expect(resynthesized.setter, isNotNull);
@@ skipping 3659 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }