testdata for IDEA-57315

2026-09-13 09:19:13 +07:00 · 2012-10-23 21:08:47 +02:00
parent d0449739cf
commit 380479ae47
2 changed files with 5 additions and 0 deletions
@@ -0,0 +1,4 @@
+class A<K>{
+    void foo(A<A<A<String>>> b){ <error descr="Inferred type 'A<java.lang.String>' for type parameter 'S' is not within its bound; should extend 'A<java.lang.Object>'">bar(b)</error>; }
+    <U, S extends A<U>, T extends A<S>> void bar(A<T> a){}
+}