Issue 14363. Support for type promotion when '(v) is T'.

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java

 /*
  * Copyright (c) 2013, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 3306 matching lines @@
         "main(Object p) {",
         "  if (p is String) {",
         "    p.length;",
         "  }",
         "}"));
     resolve(source);
     assertNoErrors(source);
     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 {}",
         "f(Type t) {}",
         "main() {",
         "  f(C);",
         "}"));
     resolve(source);
     assertNoErrors(source);
     verify(source);
@@ skipping 310 matching lines @@
     resolve(source);
     assertNoErrors(source);
     verify(source);
     reset();
   }
 
   private void check_wrongNumberOfParametersForOperator1(String name) throws Exception {
     check_wrongNumberOfParametersForOperator(name, "a");
   }
 }