SIL: Sink local archetype substitution into remapSubstitutionMap()

This commit is contained in:
Slava Pestov
2024-05-14 14:21:56 -04:00
parent 4de6dca5d8
commit 3b5846d458
4 changed files with 72 additions and 11 deletions

View File

@@ -143,6 +143,9 @@ public:
}
SubstitutionMap remapSubstitutionMap(SubstitutionMap Subs) {
if (Subs.hasLocalArchetypes())
Subs = Subs.subst(Functor, Functor);
CMS.makeSubstUsableFromInline(Subs);
return Subs;
}