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

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

 // Copyright (c) 2016, 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 analyzer.test.src.summary.resynthesize_ast_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/generated/engine.dart'
@@ skipping 21 matching lines @@
 main() {
   groupSep = ' | ';
   defineReflectiveTests(ResynthesizeAstSpecTest);
   defineReflectiveTests(ResynthesizeAstStrongTest);
   defineReflectiveTests(AstInferredTypeTest);
 }
 
 @reflectiveTest
 class AstInferredTypeTest extends AbstractResynthesizeTest
     with _AstResynthesizeTestMixin, InferredTypeMixin {
-  bool get checkPropagatedTypes {
-    // AST-based summaries do not yet handle propagated types.
-    // TODO(paulberry): fix this.
-    return false;
-  }
-
   @override
   bool get mayCheckTypesOfLocals => false;
 
   @override
   void addFile(String content, {String name: '/main.dart'}) {
     addLibrarySource(name, content);
   }
 
   @override
   CompilationUnitElement checkFile(String content) {
@@ skipping 841 matching lines @@
   /**
    * A test should return `true` to indicate that a missing file at the time of
    * summary resynthesis shouldn't trigger an error.
    */
   bool get allowMissingFiles;
 }
 
 abstract class _ResynthesizeAstTest extends ResynthesizeTest
     with _AstResynthesizeTestMixin {
   @override
-  bool get checkPropagatedTypes => false;
-
-  @override
   LibraryElementImpl checkLibrary(String text,
       {bool allowErrors: false, bool dumpSummaries: false}) {
     Source source = addTestSource(text);
     LibraryElementImpl resynthesized = _encodeDecodeLibraryElement(source);
     LibraryElementImpl original = context.computeLibraryElement(source);
     checkLibraryElements(original, resynthesized);
     return resynthesized;
   }
 
   @override
   void compareLocalElementsOfExecutable(ExecutableElement resynthesized,
       ExecutableElement original, String desc) {
     // We don't resynthesize local elements during link.
     // So, we should not compare them.
   }
 
   @override
   DartSdk createDartSdk() => AbstractContextTest.SHARED_MOCK_SDK;
 
   @override
   TestSummaryResynthesizer encodeDecodeLibrarySource(Source source) {
     return _encodeLibrary(source);
   }
 }