1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t6013/Abstract.java b/test/files/neg/t6013/Abstract.java
new file mode 100644
index 0000000000..c0ef046bbd
--- /dev/null
+++ b/test/files/neg/t6013/Abstract.java
@@ -0,0 +1,7 @@
+public abstract class Abstract extends Base {
+  // overrides Base#bar under the erasure model
+  public void bar(java.util.List<java.lang.Integer> foo) { return; }
+
+  // must force re-implementation in derived classes
+  public abstract boolean foo();
+}