AST: Extended types of extensions should be interface types

This commit is contained in:
Slava Pestov
2018-08-12 22:41:46 -07:00
parent 001a7489ae
commit ea1ec895a8
7 changed files with 18 additions and 16 deletions

View File

@@ -2704,6 +2704,7 @@ void Serializer::writeDecl(const Decl *D) {
auto contextID = addDeclContextRef(extension->getDeclContext());
Type baseTy = extension->getExtendedType();
assert(!baseTy->hasUnboundGenericType());
assert(!baseTy->hasArchetype());
// FIXME: Use the canonical type here in order to minimize circularity
// issues at deserialization time. A known problematic case here is