testdata for IDEA-57533

2026-08-26 00:11:26 +07:00 · 2012-10-23 18:07:14 +02:00
parent eccf567a5b
commit 0d69d53de2
2 changed files with 7 additions and 0 deletions
@@ -0,0 +1,6 @@
+class C<T extends C<? extends C<? extends T>>>{
+    void foo(C<?> x){
+        <error descr="Inferred type '? extends C<? extends C<capture<?>>>' for type parameter 'T' is not within its bound; should extend 'C<? extends C<? extends C<capture<?>>>>'">bar(x)</error>;
+    }
+    <T extends C<? extends T>> void bar(C<T> x){}
+}