TypeApplyMethods

The (inferred) type arguments passed to the method

The TypeApply maybe a partially applied method:

extension (x: Int) def f[T](y: T) = ...
// represented as
// def f(x: Int)[T](y: T) = ...

1.f[Int](2)
// represented as
// f(1)[Int](2)

• fun is [Int] in the TypeApply of f(1)[Int]

The fun part of an (inferred) type application like fun[Args]

It maybe a partially applied method:

extension (x: Int) def f[T](y: T) = ...
// represented as
// def f(x: Int)[T](y: T) = ...

1.f[Int](2)
// represented as
// f(1)[Int](2)

• fun is f(1) in the TypeApply of f(1)[Int]