Issue 4394. Consider type arguments when build super types list

compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java

Index: compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
diff --git a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
index 254863ed560f475acc12c1d5c9873c02367ee6f5..06808abc230e3c6d6fef8ef9a87e04a84ba9e13e 100644
--- a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
+++ b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
@@ -1701,6 +1701,20 @@ public class TypeAnalyzerCompilerTest extends CompilerTestCase {
       assertTrue(message.contains("'bool'"));
     }
   }
+  
+  /**
+   * <p>
+   * http://code.google.com/p/dart/issues/detail?id=4394
+   */
+  public void test_conditionalExpressionType_genericInterface() throws Exception {
+    AnalyzeLibraryResult result = analyzeLibrary(
+        "// filler filler filler filler filler filler filler filler filler filler",
+        "main() {",
+        "  Collection<int> test = true ? new Set<int>() : const [null];",
+        "}",
+        "");
+    assertErrors(result.getErrors());
+  }
 
   public void test_typeVariableBoundsMismatch() throws Exception {
     AnalyzeLibraryResult result =