// "Implement method 'foo'" "true"
abstract class Test {
  public abstract void f<caret>oo(@org.jetbrains.annotations.Nullable String a);
}

class TImple extends Test {}