From baee4d2b5a090f0ef1612222743d1906ef698635 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Wed, 13 Oct 2021 15:09:52 -0700
Subject: [PATCH] Test case for issue #4924

---
 checker/tests/nullness/Issue4924.java        | 27 ++++++++++++++++++++
 checker/tests/nullness/OverrideGenerics.java |  6 ++---
 2 files changed, 30 insertions(+), 3 deletions(-)
 create mode 100644 checker/tests/nullness/Issue4924.java

diff --git a/checker/tests/nullness/Issue4924.java b/checker/tests/nullness/Issue4924.java
new file mode 100644
index 00000000000..1cece326ab6
--- /dev/null
+++ b/checker/tests/nullness/Issue4924.java
@@ -0,0 +1,27 @@
+// Test case for issue #4924: https://tinyurl.com/cfissue/4924
+
+// @skip-test until the issue is fixed
+
+class Issue4924 {}
+
+interface Callback4924<T> {}
+
+class Template4924<T> {
+  interface Putter4924<T> {
+    void put(T result);
+  }
+
+  class Adapter4924 implements Callback4924<T> {
+    Adapter4924(Putter4924<T> putter) {}
+  }
+}
+
+class Super4924<T> extends Template4924<T> {}
+
+class Issue extends Super4924<String> {
+  void go(Callback4924<String> callback) {}
+
+  void foo() {
+    go(new Adapter4924(result -> {}));
+  }
+}
diff --git a/checker/tests/nullness/OverrideGenerics.java b/checker/tests/nullness/OverrideGenerics.java
index 920f016c9ef..893905ea241 100644
--- a/checker/tests/nullness/OverrideGenerics.java
+++ b/checker/tests/nullness/OverrideGenerics.java
@@ -1,13 +1,13 @@
 import org.checkerframework.checker.nullness.qual.*;
 
-class Super<S extends @Nullable Object> {
+class OGSuper<S extends @Nullable Object> {
   public void m(S p) {}
 }
 
-class Impl1<T extends @NonNull Object> extends Super<T> {
+class OGImpl1<T extends @NonNull Object> extends OGSuper<T> {
   public void m(T p) {}
 }
 
-class Impl2<T> extends Super<T> {
+class OGImpl2<T> extends OGSuper<T> {
   public void m(T p) {}
 }