Slava Pestov 40641f5e91 Sema: Fix dodgy logic in findMissingGenericRequirementForSolutionFix() ...

'type' and 'missingType' are contextual types in the generic environment
of the witness thunk. We cannot simply map them into the environment of
the conformance, because if the conforming type is a class, the witness
thunk has an extra generic parameter at depth=0, index=0 and all other
generic parameters are shifted down by one depth.

2024-09-13 08:12:51 -04:00

3.1 KiB

Raw Permalink Blame History

View Raw