Parse empty list of type arguments

[phischu]

The following program does not parse with the error "expected identifier"

def f() = 42

def main(): Unit = {
  println(f[]())
}

I would like to be able to write an empty list of type arguments to disambiguate overloads. Indeed, writing no type argument list should mean "inferred", which is different from "annotated as empty list".

On the definition site this is not necessary, since omitting the list of type parameters means "empty list" unambiguously.

[jiribenes]

I agree with the underlying premise: it would be nice to be able to specify "I want the version with no type params" to the overload resolution.

I don't really care which syntax we use as long as there is at least some way to specify this behaviour...