Expr.summon won't compile with dynamically created Type

Compiler version

3.0.0-RC1

Minimized code

import scala.quoted.*

def x(using Quotes): Unit =
  import quotes.reflect._
  val t = TypeRepr.of[Int].asType
  Expr.summon(using t)

Output

[error] -- [E007] Type Mismatch Error: /home/golly/projects/public/univeq/univeq/shared/src/main/scala-3/japgolly/univeq/internal/bug.scala:6:20 
[error] 6 |  Expr.summon(using t)
[error]   |                    ^
[error]   |Found:    quoted.Type[?1.CAP]
[error]   |Required: quoted.Type[T]
[error]   |
[error]   |where:    ?1 is an unknown value of type scala.runtime.TypeBox[Nothing, AnyKind]
[error]   |          T  is a type variable with constraint

Expectation

It should compile.

Workaround is to append .asInstanceOf[Type[Any]] like this:

import scala.quoted.*

def x(using Quotes): Unit =
  import quotes.reflect._
  val t = TypeRepr.of[Int].asType.asInstanceOf[Type[Any]]
  Expr.summon(using t)

Manual testing confirms that the type parameter being Any doesn’t affect the result, (as one would expect) the result is purely driven by the Type instance.

[nicolasstucki]

If there you have a Type[_] use

val tpe: Type[_] = ...
tpe match
  case '[a] => Expr.summon[a]

If you have a TypeRepr use

val tpe: TypeRepr = ...
Implicits.search(tpe) match
  case result: ImplicitSearchSuccess => result.tree
  case _ =>

[nicolasstucki]

I believe it should work with

val t = TypeRepr.of[Int].asType
t match
  case '[a] => Expr.summon[a]