Issue 4410. Infer types using 'assert' statement

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 4a5af3fa1afc55e82f0cbda693025993ee841345..9475bb56335ac726e0e3030b5daf25bee0c40359 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
@@ -436,6 +436,16 @@ public class CompletionEngineTest extends TestCase {
     test("var PHI;main(){PHI=5.3;PHI.abs().!1 Object x;}", "1+abs");
   }
 
+  public void testCommentSnippets063() throws Exception {
+    String source = Joiner.on("\n").join(
+        "void r(var v) {",
+        "  v.!1toUpperCase;",
+        "  assert(v is String);",
+        "  v.!2toUpperCase;",
+        "}");
+    test(source, "1-toUpperCase", "2+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