Skip to content

can't define right associative extension method with type parameter #11583

Closed
@bishabosha

Description

@bishabosha

Compiler version

3.0.0-RC1

Minimized code

extension (s: String)
  def :*:[T <: Tuple](that: T) : String *: T = ???

Output

2 |  def :*:[T <: Tuple](that: T) : String *: T = ???
  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |  right-associative extension method must start with a single parameter

Expectation

no error

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:desugarDesugaring happens after parsing but before typing, see desugar.scalaitype:bug

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions