We used to return decls from extension with non-matching same type requirements. e.g. struct S<T> { } extension S where T == String { func foo() {} } S<Int>().#HERE# /...