mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
testdata for IDEA-57494
This commit is contained in:
+16
@@ -0,0 +1,16 @@
|
||||
import java.util.*;
|
||||
abstract class A {
|
||||
abstract <T> T baz(List<? super List<? super T>> a);
|
||||
|
||||
void bar(List<List<?>> x){
|
||||
String s = baz(x);
|
||||
}
|
||||
}
|
||||
|
||||
abstract class A1{
|
||||
abstract <T> T baz(List<? super T> a);
|
||||
|
||||
void bar(List<?> x){
|
||||
String o = baz<error descr="'baz(java.util.List<? super java.lang.String>)' in 'A1' cannot be applied to '(java.util.List<capture<?>>)'">(x)</error>;
|
||||
}
|
||||
}
|
||||
@@ -168,6 +168,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
|
||||
public void testIDEA57492() throws Exception { doTest(false); }
|
||||
public void testIDEA57493() throws Exception { doTest(false); }
|
||||
public void testIDEA57495() throws Exception { doTest(false); }
|
||||
public void testIDEA57494() throws Exception { doTest(false); }
|
||||
public void testInconvertibleTypes() throws Exception { doTest(false); }
|
||||
public void testIncompatibleReturnType() throws Exception { doTest(false); }
|
||||
public void testContinueInferenceAfterFirstRawResult() throws Exception { doTest(false); }
|
||||
|
||||
Reference in New Issue
Block a user