Skip to content

Infix types in quoted patterns fail to type #7262

Closed
@nicolasstucki

Description

@nicolasstucki

minimized code

import scala.quoted._
class Foo {
  def f[T](t: Type[T])(given QuoteContext) = t match {
    case '[ Int *: Unit ] =>
  }
}

fails with

4 |    case '[ Int *: Unit ] =>
  |                   ^^^^
  |                   Found:    Unit
  |                   Required: ?{ *: : ? }

expectation

Should compile

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions