Infer types using 'v is! Type'

editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java

Index: editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java
diff --git a/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java b/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java
index 540e0f071888b81a747de3a9f9cf8067b4b5d1a6..f0b723577c7cae3572b77bb9eb1ce13f8157196f 100644
--- a/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java
+++ b/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/internal/completion/CompletionEngineTest.java
@@ -373,6 +373,17 @@ public class CompletionEngineTest extends TestCase {
     test(source, "1+toUpperCase");
   }
 
+  public void testCommentSnippets056() throws Exception {
+    String source = Joiner.on("\n").join(
+        "void f(var v) {",
+        "  if (v is!! String) {",
+        "    return;",
+        "  }",
+        "  v.!1toUpperCase;",
+        "}");
+    test(source, "1+toUpperCase");
+  }
+
   public void testCompletion_alias_field() throws Exception {
     // fails because test framework does not set compilation unit
     // tests cannot check completion of any type defined in the test