[AST] Allow placeholders in interface types

Jumhyn · Jumhyn · commit bbf8e6c50851 · 2021-08-19T14:53:33.000-04:00
diff --git a/lib/AST/TypeCheckRequests.cpp b/lib/AST/TypeCheckRequests.cpp
@@ -957,7 +957,6 @@ void InterfaceTypeRequest::cacheResult(Type type) const {
   auto *decl = std::get<0>(getStorage());
   if (type) {
     assert(!type->hasTypeVariable() && "Type variable in interface type");
-    assert(!type->hasPlaceholder() && "Type placeholder in interface type");
     assert(!type->is<InOutType>() && "Interface type must be materializable");
     assert(!type->hasArchetype() && "Archetype in interface type");
   }

Original file line number	Diff line number	Diff line change
`@@ -957,7 +957,6 @@ void InterfaceTypeRequest::cacheResult(Type type) const {`
`957`	`957`	`auto *decl = std::get<0>(getStorage());`
`958`	`958`	`if (type) {`
`959`	`959`	`assert(!type->hasTypeVariable() && "Type variable in interface type");`
`960`		`- assert(!type->hasPlaceholder() && "Type placeholder in interface type");`
`961`	`960`	`assert(!type->is<InOutType>() && "Interface type must be materializable");`
`962`	`961`	`assert(!type->hasArchetype() && "Archetype in interface type");`
`963`	`962`	`}`