Fix #23731 - undefined __xopEquals/__xtoHash for instantiated struct

786dc71 stopped emitting the special TypeInfo members alongside the
TypeInfo of a template-instantiated struct whose own codegen was elided,
assuming they are always emitted with the StructDeclaration elsewhere.

That does not hold when `ti.minst` is null (a speculative instance whose
TypeInfo was requested anyway) or a non-root module that is not part of
the compilation: nothing emits `TemplateInstance.toObjFile()`, so the
TypeInfo emitted here is left referencing symbols no object file defines.

Restore emitting them next to the TypeInfo, as before 2.113.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Author: dkorpel

compiler/src/dmd/glue/todt.d

@@ -1491,6 +1491,25 @@ private extern (C++) class TypeInfoDtVisitor : Visitor
             semanticTypeInfoMembers(sd);
         }
 
+        if (TemplateInstance ti = sd.isInstantiated())
+        {
+            if (!ti.needsCodegen())
+            {
+                if (sd.xeq && sd.xeq != StructDeclaration.xerreq)
+                    toObjFile(sd.xeq, global.params.multiobj);
+                if (sd.xcmp && sd.xcmp != StructDeclaration.xerrcmp)
+                    toObjFile(sd.xcmp, global.params.multiobj);
+                if (FuncDeclaration ftostr = search_toString(sd))
+                    toObjFile(ftostr, global.params.multiobj);
+                if (sd.xhash)
+                    toObjFile(sd.xhash, global.params.multiobj);
+                if (sd.postblit)
+                    toObjFile(sd.postblit, global.params.multiobj);
+                if (sd.dtor)
+                    toObjFile(sd.dtor, global.params.multiobj);
+            }
+        }
+
         /* Put out:
          *  char[] mangledName;
          *  void[] init;

compiler/test/runnable/imports/test23731a.d

@@ -0,0 +1,8 @@
+module imports.test23731a;
+
+struct Wrapper(T)
+{
+    T[] values;
+}
+
+enum wrapperIntSize = Wrapper!int.sizeof;

compiler/test/runnable/test23731.d

@@ -0,0 +1,12 @@
+// https://github.com/dlang/dmd/issues/23731
+
+import imports.test23731a;
+
+void main()
+{
+    auto ti = typeid(Wrapper!int);
+    auto a = Wrapper!int([1, 2]);
+    auto b = Wrapper!int([1, 2]);
+    assert(ti.equals(&a, &b));
+    assert(ti.getHash(&a) == ti.getHash(&b));
+}