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