"position not set" error when using scala.util.Not and inline

[IndiscriminateCoding]

Minimized code

notmacro/Main.scala:

package notmacro

import scala.util.Not

object Main extends App {
  summon[Not[T[Int]]]
}

notmacro/T.scala:

package notmacro

import scala.quoted._

case class T[A <: AnyKind](s: String)

object T {
  implicit inline def derived[A <: AnyKind]: T[A] = ${ reprImpl[A] }

  def reprImpl[A <: AnyKind](using t: Type[A])(using ctx: QuoteContext): Expr[T[A]] =
    '{ T[A]("") }
}

Output

java.lang.AssertionError: assertion failed: position not set for Int # 4099305 of class dotty.tools.dotc.ast.Trees$TypeTree in /home/<redacted>/src/main/scala/notmacro/Main.scala

Expectation

I expect useful error about missing implicit instance

[nicolasstucki]

Minimized to

def test: Unit =
  summon[scala.util.Not[T[Int]]]

class T[A]
object T:
  implicit inline def derived[A]: T[A] = new T[A]

argSpan has no position here https://github.com/lampepfl/dotty/blob/master/compiler/src/dotty/tools/dotc/typer/Inliner.scala#L701, which causes the crash later.