[ConstraintSystem] Record substitutions from opened unbound generic types

Substitutions are already recorded for other situations like
member references, this was just slipped under the radar.
This commit is contained in:
Pavel Yaskevich
2020-06-24 16:00:12 -07:00
parent d048df254a
commit c4f4ce1e5d

View File

@@ -666,6 +666,8 @@ Type ConstraintSystem::openUnboundGenericType(
openGeneric(decl->getDeclContext(), decl->getGenericSignature(), locator,
replacements);
recordOpenedTypes(locator, replacements);
if (parentTy) {
auto subs = parentTy->getContextSubstitutions(decl->getDeclContext());
for (auto pair : subs) {