take out emit-extension-symbols related assertions

Author: tayloraswift

Sources/SymbolGraphCompiler/SSGC.TypeChecker.swift

@@ -258,41 +258,20 @@ extension SSGC.TypeChecker
             return
         }
 
-        guard self.ignoreExportedInterfaces || member.culture == culture
-        else
-        {
-            throw AssertionError.init(message: """
-                Found cross-module member relationship \
-                (from \(member.culture) in \(culture)), which should not be possible in \
-                symbol dumps generated with '-emit-extension-symbols'
-                """)
-        }
-
         switch relationship.target
         {
         case .vector(let symbol):
             //  Nothing can be a member of a vector symbol.
             throw SSGC.UnexpectedSymbolError.vector(symbol)
 
         case .scalar(let scope):
-            //  We should never see an external type reference here either.
             guard
             let scope:SSGC.DeclObject = self.declarations[visible: scope]
             else
             {
                 return
             }
 
-            guard self.ignoreExportedInterfaces || scope.culture == culture
-            else
-            {
-                throw AssertionError.init(message: """
-                    Found cross-module member relationship \
-                    (to \(scope.culture) in \(culture)), which should not be possible in \
-                    symbol dumps generated with '-emit-extension-symbols'
-                    """)
-            }
-
             //  Enum cases are considered intrinsic members of their parent enum.
             if  case .case = member.value.phylum
             {
@@ -358,16 +337,6 @@ extension SSGC.TypeChecker
                 return
             }
 
-            guard self.ignoreExportedInterfaces || type.culture == culture
-            else
-            {
-                throw AssertionError.init(message: """
-                    Found cross-module conformance relationship \
-                    (from \(type.culture) in \(culture)), which should not be possible in \
-                    symbol dumps generated with '-emit-extension-symbols'
-                    """)
-            }
-
             if  let origin:Symbol.Decl = conformance.origin
             {
                 type.assign(origin: origin)
@@ -422,14 +391,6 @@ extension SSGC.TypeChecker
             return
         }
 
-        guard self.ignoreExportedInterfaces || subform.culture == culture
-        else
-        {
-            throw AssertionError.init(message: """
-                Found retroactive superform relationship (from \(subform.culture) in \(culture))
-                """)
-        }
-
         try subform.add(superform: relationship)
 
         /// Having a universal witness is not intrinsic, but it is useful to know
@@ -459,8 +420,6 @@ extension SSGC.TypeChecker
             throw SSGC.UnexpectedSymbolError.vector(symbol)
 
         case .scalar(let symbol):
-            //  If the colonial graph was generated with '-emit-extension-symbols',
-            //  we should never see an external type reference here.
             if  let decl:SSGC.DeclObject = self.declarations[visible: symbol]
             {
                 heir = decl
@@ -470,16 +429,6 @@ extension SSGC.TypeChecker
                 return
             }
 
-            guard self.ignoreExportedInterfaces || heir.culture == culture
-            else
-            {
-                throw AssertionError.init(message: """
-                    Found direct cross-module feature inheritance relationship in culture \
-                    '\(culture)' adding feature '\(feature.value.path)' to type \
-                    '\(heir.value.path)' from '\(heir.culture)', which should not be \
-                    possible in symbol dumps generated with '-emit-extension-symbols'
-                    """)
-            }
             guard heir.id == relationship.source.heir
             else
             {