## Compiler version 3.3.0-RC3 ## Minimized code ```scala 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 https://github.com/lampepfl/dotty/issues/17639