AST: Allow local archetypes in interface types of local declarations

slavapestov · slavapestov · commit 6a4f7ff4a202 · 2024-05-10T17:21:17.000-04:00
diff --git a/lib/AST/TypeCheckRequests.cpp b/lib/AST/TypeCheckRequests.cpp
@@ -1074,7 +1074,9 @@ void InterfaceTypeRequest::cacheResult(Type type) const {
   if (type) {
     assert(!type->hasTypeVariable() && "Type variable in interface type");
     assert(!type->is<InOutType>() && "Interface type must be materializable");
-    assert(!type->hasArchetype() && "Archetype in interface type");
+    assert(!type->hasPrimaryArchetype() && "Archetype in interface type");
+    assert(decl->getDeclContext()->isLocalContext() || !type->hasLocalArchetype() &&
+           "Local archetype in interface type of non-local declaration");
   }
   decl->TypeAndAccess.setPointer(type);
 }

Original file line number	Diff line number	Diff line change
`@@ -1074,7 +1074,9 @@ void InterfaceTypeRequest::cacheResult(Type type) const {`
`1074`	`1074`	`if (type) {`
`1075`	`1075`	`assert(!type->hasTypeVariable() && "Type variable in interface type");`
`1076`	`1076`	`assert(!type->is<InOutType>() && "Interface type must be materializable");`
`1077`		`- assert(!type->hasArchetype() && "Archetype in interface type");`
	`1077`	`+ assert(!type->hasPrimaryArchetype() && "Archetype in interface type");`
	`1078`	`+ assert(decl->getDeclContext()->isLocalContext() \|\| !type->hasLocalArchetype() &&`
	`1079`	`+ "Local archetype in interface type of non-local declaration");`
`1078`	`1080`	`}`
`1079`	`1081`	`decl->TypeAndAccess.setPointer(type);`
`1080`	`1082`	`}`