1 files changed, 10 insertions, 0 deletions
diff --git a/tests/untried/neg/t6013/Base.java b/tests/untried/neg/t6013/Base.java
new file mode 100644
index 000000000..b73d7fd82
--- /dev/null
+++ b/tests/untried/neg/t6013/Base.java
@@ -0,0 +1,10 @@
+abstract public class Base {
+  // This must considered to be overridden by Abstract#foo based
+  // on the erased signatures. This special case is handled by
+  // `javaErasedOverridingSym` in `RefChecks`.
+  public abstract void bar(java.util.List<java.lang.String> foo) { return; }
+
+  // But, a concrete method in a Java superclass must not excuse
+  // a deferred method in the Java subclass!
+  public boolean foo() { return true; }
+}