A ClassTypeParamSymbol can have a UniqueTypeName

[adpi2]

In "org.typelevel" %% "cats-core" % "2.6.1" there is this:

  // the Dummy type is to make this one more specific than catsDataMonadErrorMonadForOptionT on 2.13.x
  // see https://github.com/typelevel/cats/pull/2335#issuecomment-408249775
  implicit def catsDataMonadErrorForOptionT[F[_], E](implicit
    F0: MonadError[F, E]
  ): MonadError[OptionT[F, *], E] { type Dummy } =
    new OptionTMonadError[F, E] {
      type Dummy
      implicit val F = F0
    }

which produces a ClassTypeParamSymbol with name _$79.

TASTy Query expects that only LocalTypeParamSymbol can have a unique name and so it throws a UnsupportedOperationException:

java.lang.UnsupportedOperationException: _$79 -- /T[unique _$ 79]
	at tastyquery.Symbols$TypeSymbol.<init>(Symbols.scala:709)
	at tastyquery.Symbols$TypeSymbolWithBounds.<init>(Symbols.scala:732)
	at tastyquery.Symbols$TypeParamSymbol.<init>(Symbols.scala:778)
	at tastyquery.Symbols$ClassTypeParamSymbol.<init>(Symbols.scala:800)
	at tastyquery.Symbols$ClassTypeParamSymbol$.create(Symbols.scala:855)
	at tastyquery.reader.tasties.TreeUnpickler.createSymbols(TreeUnpickler.scala:113)

The bug is here:

tasty-query/tasty-query/shared/src/main/scala/tastyquery/Symbols.scala

Lines 708 to 709 in 06ffbf0

	if name.toTermName.isInstanceOf[UniqueName] && !this.isInstanceOf[LocalTypeParamSymbol] then
	throw UnsupportedOperationException(s"${this.displayFullName: @unchecked} -- ${name.toDebugString}")