Don't perform final fields and top-level variables type propagation.

pkg/analyzer/test/src/context/context_test.dart

 // Copyright (c) 2014, 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.context.context_test;
 
 import 'dart:async';
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart';
@@ skipping 2458 matching lines @@
     entry.setState(RESOLVED_UNIT3, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT4, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT5, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT6, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT7, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT8, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT9, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT10, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT11, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT12, CacheState.FLUSHED);
-    entry.setState(RESOLVED_UNIT13, CacheState.FLUSHED);
     entry.setState(RESOLVED_UNIT, CacheState.FLUSHED);
 
     context.resolveCompilationUnit2(source, source);
     LibraryElement secondElement = context.computeLibraryElement(source);
     _ElementComparer comparer = new _ElementComparer(gatherer.elements);
     secondElement.accept(comparer);
     comparer.expectNoDifferences();
   }
 
   void test_resolveCompilationUnit_import_relative() {
@@ skipping 1300 matching lines @@
           context.getResult(new LibrarySpecificUnit(a, a), RESOLVED_UNIT);
       ExpressionStatement statement =
           AstFinder.getStatementsInTopLevelFunction(unit, 'main').single;
       MethodInvocation invocation = statement.expression;
       return invocation.argumentList.arguments[0];
     }
 
     {
       Expression argument = find42();
       expect(argument.staticParameterElement, isNull);
-      expect(argument.propagatedParameterElement, isNotNull);
     }
+
     // Update a.dart: add type annotation for 'a'.
-    // '42' has 'staticParameterElement', but not 'propagatedParameterElement'.
+    // '42' has 'staticParameterElement'.
     context.setContents(
         a,
         r'''
 class A {
   foo(int p) {}
 }
 final A a = new A();
 main() {
   a.foo(42);
 }
 ''');
     _performPendingAnalysisTasks();
     {
       Expression argument = find42();
       expect(argument.staticParameterElement, isNotNull);
-      expect(argument.propagatedParameterElement, isNull);
     }
+
     // Update a.dart: remove type annotation for 'a'.
-    // '42' has 'propagatedParameterElement', but not 'staticParameterElement'.
+    // '42' doesn't have 'staticParameterElement'.
     context.setContents(
         a,
         r'''
 class A {
   foo(int p) {}
 }
 final a = new A();
 main() {
   a.foo(42);
 }
 ''');
     _performPendingAnalysisTasks();
     {
       Expression argument = find42();
       expect(argument.staticParameterElement, isNull);
-      expect(argument.propagatedParameterElement, isNotNull);
     }
   }
 
   void test_sequence_closureParameterTypesPropagation() {
     Source a = addSource(
         '/a.dart',
         r'''
 main() {
   f((p) => 4.2);
 }
@@ skipping 1401 matching lines @@
    * Initialize the visitor.
    */
   _ElementGatherer();
 
   @override
   void visitElement(Element element) {
     elements[element] = element;
     super.visitElement(element);
   }
 }