Skip to content

Support partial type applications on inline methods #3955

Closed
@gsps

Description

@gsps

We currently crash on partial type applications of inline methods, e.g.:

object Foo {
  inline def f[S, T](x: S): T = ???
  def g(x: Int) = f[T = Any](x)
}

The immediate source of the problem lies in TypedTreeInfo.decomposeCall assuming that it will only encounter a single TypeApply.

I guess there's already some corresponding code to unscramble type arguments, so it hopefully shouldn't be too hard to adapt decomposeCall to do so too.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions