Quoted patterns with lambdas fail level check

[nicolasstucki]

object Test {
  def res(x: quoted.Expr[Int]) given tasty.Reflection: quoted.Expr[Int] = x match {
    case '{ ((a: Int) => 2)(5) } => ???
  }
}

fails Ycheck with

3 |    case '{ ((a: Int) => 8)(5) } => ???
  |                          ^
  |                       access to method $anonfun from wrong staging level:
  |                        - the definition is at level 0,
  |                        - but the access is at level 1.