test data for not accessible through captured wildcard

2026-09-10 13:17:09 +07:00 · 2015-02-10 17:55:57 +01:00
parent a6ef814ce8
commit 3318c68aad
1 changed files with 4 additions and 0 deletions
@@ -3,4 +3,8 @@ abstract class B {
  void f(A a) {
    <error descr="Cannot access java.util.stream.Stream">a</error>.foo();
  }
+
+  void f(java.util.List<? extends A> a) {
+    <error descr="Cannot access java.util.stream.Stream">a.get(0)</error>.foo();
+  }
 }