Compiler version
3.3.0-RC3
Minimized code
trait Show[A]
given Show[Long] with {}
object Foo {
opaque type Id = Long
summon[Show[Id]] // fine.
summon[Show[Foo.Id]] // won't compile
}
The first summon just fine, but the second not.
Which might be the root cause of #17639