fix Issue 13043 - Redundant linking to TypeInfo in non-root module

src/typinf.c

@@ -131,11 +131,19 @@ void Type::genTypeInfo(Scope *sc)
             // Generate COMDAT
             if (sc)                     // if in semantic() pass
             {
-                // Find module that will go all the way to an object file
-                Module *m = sc->module->importedFrom;
-                m->members->push(t->vtinfo);
+                if (sc->func && !sc->func->isInstantiated() && sc->func->inNonRoot())
+                {
+                    // Bugzilla 13043: Avoid linking TypeInfo if it's not
+                    // necessary for root module compilation
+                }
+                else
+                {
+                    // Find module that will go all the way to an object file
+                    Module *m = sc->module->importedFrom;
+                    m->members->push(t->vtinfo);
 
-                semanticTypeInfo(sc, t);
+                    semanticTypeInfo(sc, t);
+                }
             }
             else                        // if in obj generation pass
             {

test/runnable/imports/link13043a.d

@@ -0,0 +1,17 @@
+module imports.lin13043a;
+
+struct QualifiedNameTests
+{
+    struct Inner
+    {
+        const int opCmp(ref const Inner) { return 0; }
+    }
+
+    shared(const(Inner[string])[]) data;
+
+  version(bug)
+    size_t toHash() const
+    {
+        return typeid(typeof(data)).getHash(cast(const void*)&data);
+    }
+}

test/runnable/link13043.d

@@ -0,0 +1,5 @@
+// PERMUTE_ARGS: -g -inline -version=bug -release -O
+
+import imports.link13043a;
+
+void main() {}