Lint when given of an opaque type is summoned when the transparent part is requested

[bishabosha]

e.g. this can prevent hard to immediately spot infinite recursion errors if you refactor from one "canonical" type class for Foo to several derived ones, all based on the underlying type

 opaque type Foo <: Int = Int

 trait TC[T]

-given TCFoo: TC[Foo] =
-  ...(summon[TC[Int]]) // ok, already avoids self-recursion

+def derived(arg1...): TC[Foo] =
+  ...(summon[TC[Int]]) // Lint here if `TC[Foo]` is summoned
+given TCFoo: TC[Foo] = derived(...) // oops infinite recursion