summaryrefslogtreecommitdiff
path: root/test/files/neg/t6013/Base.java
blob: ce6ee47e645f3df3a02a82a0308411d9b1a3839c (plain) (blame)
1
2
3
4
5
6
7
8
9
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 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; }
}