Generate valid C# for forwarded specializations

Signed-off-by: Dimitar Dobrev <dpldobrev@protonmail.com>
mono · Sep 18, 2021 · e2d0dce · e2d0dce
1 parent c36145b
commit e2d0dce
Show file tree

Hide file tree

Showing 5 changed files with 27 additions and 2 deletions.
diff --git a/src/Generator/AST/Utils.cs b/src/Generator/AST/Utils.cs
@@ -151,7 +151,8 @@ private static bool UnsupportedTemplateArgument(
             ClassTemplateSpecialization specialization, TemplateArgument a, ITypeMapDatabase typeMaps)
         {
             if (a.Type.Type == null ||
-                IsTypeExternal(specialization.TranslationUnit.Module, a.Type.Type))
+                IsTypeExternal(
+                    specialization.TemplatedDecl.TemplatedDecl.TranslationUnit.Module, a.Type.Type))
                 return true;
 
             var typeIgnoreChecker = new TypeIgnoreChecker(typeMaps);
@@ -178,7 +179,7 @@ private static ClassTemplateSpecialization GetParentSpecialization(Type type)
         {
             if (type.TryGetDeclaration(out Declaration declaration))
             {
-                ClassTemplateSpecialization specialization = null;
+                ClassTemplateSpecialization specialization;
                 do
                 {
                     specialization = declaration as ClassTemplateSpecialization;

diff --git a/tests/NamespacesBase/NamespacesBase.h b/tests/NamespacesBase/NamespacesBase.h
@@ -80,8 +80,22 @@ class DLL_API TemplateWithIndependentFields
 {
 public:
     void useDependentPointer(const T* t);
+    const T& constField() const;
+private:
+    T* t = new T;
 };
 
+template <typename T>
+const T& TemplateWithIndependentFields<T>::constField() const
+{
+    return *t;
+}
+
+template <typename T>
+void TemplateWithIndependentFields<T>::useDependentPointer(const T* t)
+{
+}
+
 class DLL_API HasVirtualInCore
 {
 public:

diff --git a/tests/NamespacesDerived/Independent.h b/tests/NamespacesDerived/Independent.h
@@ -0,0 +1,3 @@
+class Derived;
+template<typename T> class TemplateWithIndependentFields;
+typedef TemplateWithIndependentFields<Derived*> ForwardedInIndependentHeader;
diff --git a/tests/NamespacesDerived/NamespacesDerived.cpp b/tests/NamespacesDerived/NamespacesDerived.cpp
@@ -110,3 +110,7 @@ bool operator<<(const Base& b, const char* str)
 {
     return false;
 }
+
+void forceUseSpecializations(ForwardedInIndependentHeader value)
+{
+}
diff --git a/tests/NamespacesDerived/NamespacesDerived.h b/tests/NamespacesDerived/NamespacesDerived.h
@@ -1,5 +1,6 @@
 #include "../Tests.h"
 #include "../NamespacesBase/NamespacesBase.h"
+#include "Independent.h"
 
 // Namespace clashes with NamespacesBase.OverlappingNamespace
 // Test whether qualified names turn out right.
@@ -168,3 +169,5 @@ class TestComments
      */
     class LinphoneAddress {};
 };
+
+DLL_API void forceUseSpecializations(ForwardedInIndependentHeader value);