summaryrefslogtreecommitdiff
path: root/test/files/neg/t6013/Base.java
blob: b73d7fd821e4a29ad0c6839d90b74e77aed4d9d5 (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 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; }
}