commit d068c45ce22c5dc52ea7a3fe254fd1c4e46b15af
author Chris Povirk <cpovirk@google.com> Tue Aug 18 12:26:28 2020 -0400
committer Chris Povirk <cpovirk@google.com> Tue Aug 18 12:26:28 2020 -0400
tree ccc25012d08759ff8c7bc9b769700ef3d842b636
parent 2bfba90e58dc7e5885af8d29769145466e23fcb4

Test that annotations are not inherited.

samples/CovariantReturns.java

diff --git a/samples/CovariantReturns.java b/samples/CovariantReturns.java
index 9b84d63..22917d1 100644
--- a/samples/CovariantReturns.java
+++ b/samples/CovariantReturns.java
@@ -37,5 +37,15 @@
     Lib<? extends Object> makeExplicitlyObjectBounded();
   }
 
+  default void go(Subtype s) {
+    checkObject(s.makeObject());
+    checkLibOfObject(s.makeImplicitlyObjectBounded());
+    checkLibOfObject(s.makeExplicitlyObjectBounded());
+  }
+
+  void checkObject(Object o);
+
+  void checkLibOfObject(Lib<? extends Object> o);
+
   interface Lib<T extends @Nullable Object> {}
 }