!7

sclass _F0<A> {}

static <A> A _call(_F0<A> f) { null; }
static O _call(O f, O... y) { null; }

p {
  S s = _call(new _F0<S>());
}