Slava Pestov a1b008cba8 SILCloner: Fix logic error when cloning without a substitution map ...

If we have no substitution map, we still substitute types appearing
in the original function, because we need to remap any local
archetypes, which are always cloned.

However, the conformance lookup callback used for this substitution
was wrong. We should only do mapTypeOutOfContext() if we're going
to callSubstitutionMap::lookupConformance(), otherwise we form a
new abstract conformance with an interface type, and not a primary
archetype as expected.

2025-07-02 11:59:39 -04:00

156 KiB

Raw Permalink Blame History

View Raw