Slava Pestov 69f71129b7 AST: Fix latent bug in SubstitutionMap::lookupConformance() ...

We should check if the type parameter actually conforms to our
protocol before we do the global lookup, otherwise we might
return an abstract conformance instead of an invalid conformance.

I don't know if there's any way to exercise this today though.

2024-04-02 19:55:02 -04:00

30 KiB

Raw Blame History

View Raw