use propogated type for completions

pkg/analysis_server/test/services/completion/invocation_computer_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 test.services.completion.invocation;
 
 
 import 'dart:async';
 
 import 'package:analysis_server/src/protocol.dart';
@@ skipping 114 matching lines @@
 ''');
     return computeFull((bool result) {
       // TODO(paulberry): modify assertSuggestSetter so that we can pass 'int'
       // as a parmeter to it, and it will check the appropriate field in
       // the suggestion object.
       CompletionSuggestion suggestion = assertSuggestSetter('t');
       expect(suggestion.element.parameters, '(int value)');
     });
   }
 
+  test_local() {
+    addTestSource('foo() {String x = "bar"; x.^}');
+    return computeFull((bool result) {
+      assertSuggestGetter('length', 'int');
+    });
+  }
+
+  test_local_is() {
+    addTestSource('foo() {var x; if (x is String) x.^}');
+    return computeFull((bool result) {
+      assertSuggestGetter('length', 'int');
+    });
+  }
+
+  test_local_propogatedType() {
+    addTestSource('foo() {var x = "bar"; x.^}');
+    return computeFull((bool result) {
+      assertSuggestGetter('length', 'int');
+    });
+  }
+
+  test_param() {
+    addTestSource('foo(String x) {x.^}');
+    return computeFull((bool result) {
+      assertSuggestGetter('length', 'int');
+    });
+  }
+
+  test_param_is() {
+    addTestSource('foo(x) {if (x is String) x.^}');
+    return computeFull((bool result) {
+      assertSuggestGetter('length', 'int');
+    });
+  }
+
   test_method_parameters_mixed_required_and_named() {
     addTestSource('''
 class C {
   void m(x, {int y}) {}
 }
 void main() {new C().^}''');
     return computeFull((bool result) {
       CompletionSuggestion suggestion = assertSuggestMethod('m', 'C', 'void');
       expect(suggestion.parameterNames, hasLength(2));
       expect(suggestion.parameterNames[0], 'x');
@@ skipping 234 matching lines @@
 }
 void test(Derived d) {
   d.^
 }
 ''');
     return computeFull((bool result) {
       assertSuggestMethod('f', 'Base', 'void');
     });
   }
 }