Sema: Map constraint type into context when building opened archetype in SIL mode

slavapestov · slavapestov · commit ba855ae8e17a · 2022-03-02T17:07:33.000-05:00
The '@opened ...' syntax only appears inside SIL function bodies, so we must map the superclass type into context in case the superclass type references outer generic parameters.
diff --git a/lib/Sema/TypeCheckType.cpp b/lib/Sema/TypeCheckType.cpp
@@ -2755,6 +2755,8 @@ TypeResolver::resolveAttributedType(TypeAttributes &attrs, TypeRepr *repr,
       diagnoseInvalid(repr, attrs.getLoc(TAK_opened), diag::opened_non_protocol,
                       ty);
     } else {
+      ty = GenericEnvironment::mapTypeIntoContext(
+                 resolution.getGenericSignature().getGenericEnvironment(), ty);
       ty = OpenedArchetypeType::get(ty->getCanonicalType(), attrs.OpenedID);
     }
     attrs.clearAttribute(TAK_opened);

Original file line number	Diff line number	Diff line change
`@@ -2755,6 +2755,8 @@ TypeResolver::resolveAttributedType(TypeAttributes &attrs, TypeRepr *repr,`
`2755`	`2755`	`diagnoseInvalid(repr, attrs.getLoc(TAK_opened), diag::opened_non_protocol,`
`2756`	`2756`	`ty);`
`2757`	`2757`	`} else {`
	`2758`	`+ ty = GenericEnvironment::mapTypeIntoContext(`
	`2759`	`+ resolution.getGenericSignature().getGenericEnvironment(), ty);`
`2758`	`2760`	`ty = OpenedArchetypeType::get(ty->getCanonicalType(), attrs.OpenedID);`
`2759`	`2761`	`}`
`2760`	`2762`	`attrs.clearAttribute(TAK_opened);`