Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java |
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java |
index 6c3cc620b3db5cd58fe6128edaefb6c000e8a785..d21e64fcbb6bdd80acf15f36b6469a6c7a50850a 100644 |
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java |
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java |
@@ -3324,6 +3324,19 @@ public class NonErrorResolverTest extends ResolverTestCase { |
verify(source); |
} |
+ public void test_typePromotion_parentheses() throws Exception { |
+ Source source = addSource(createSource(// |
+ "main(Object p) {", |
+ " (p is String) ? p.length : 0;", |
+ " (p) is String ? p.length : 0;", |
+ " ((p)) is String ? p.length : 0;", |
+ " ((p) is String) ? p.length : 0;", |
+ "}")); |
+ resolve(source); |
+ assertNoErrors(source); |
+ verify(source); |
+ } |
+ |
public void test_typeType_class() throws Exception { |
Source source = addSource(createSource(// |
"class C {}", |