Macro values do not support X with Singleton upper-bound

[soronpo]

Compiler version

v3.0.1-RC2 (also tested on nightly)

Minimized code

import scala.quoted.*
inline def foo[T <: Int with Singleton](value : T) : Unit = ${fooMacro('value)}
def fooMacro[T <: Int with Singleton](value : Expr[T]) : Expr[Unit] = ???

Output

access to parameter value from wrong staging level:
 - the definition is at level 0,
 - but the access is at level -1.

Expectation

No error.

[nicolasstucki]

Minimized

import scala.quoted.*
inline def foo(x : Any) : Unit = ${fooMacro[x.type]}
def fooMacro[T] : Expr[Unit] = ???

2 |inline def foo(x : Any) : Unit = ${fooMacro[x.type]}
  |                                            ^
  |                           access to parameter x from wrong staging level:
  |                            - the definition is at level 0,
  |                            - but the access is at level -1.

As x is used in a type and is erased at runtime it should be a staging level error. This must be fixed in PCPCheckAndHeal.

[nicolasstucki]

Duplicate of #8887. See last minimization.