Add failing example of partial parametric inheritance

Author: halleysfifthinc

examples/parametric.cpp

@@ -40,6 +40,11 @@ struct TemplateType
   }
 };
 
+template<typename T>
+struct PartialTemplate : public TemplateType<P2,T>
+{
+};
+
 // Template containing a non-type parameter
 template<typename T, T I>
 struct NonTypeParam
@@ -82,6 +87,14 @@ struct WrapTemplateType
   }
 };
 
+struct WrapPartialTemplateType
+{
+  template<typename TypeWrapperT>
+  void operator()(TypeWrapperT&&)
+  {
+  }
+};
+
 struct WrapTemplateDefaultType
 {
   template<typename TypeWrapperT>
@@ -249,8 +262,11 @@ JLCXX_MODULE define_julia_module(jlcxx::Module& types)
   types.add_type<P1>("P1");
   types.add_type<P2>("P2");
 
-  types.add_type<Parametric<TypeVar<1>, TypeVar<2>>>("TemplateType")
-    .apply<TemplateType<P1,P2>, TemplateType<P2,P1>>(WrapTemplateType());
+  auto template_type = types.add_type<Parametric<TypeVar<1>, TypeVar<2>>>("TemplateType");
+  template_type.apply<TemplateType<P1,P2>, TemplateType<P2,P1>>(WrapTemplateType());
+
+  types.add_type<Parametric<TypeVar<2>>, ParameterList<P2, TypeVar<2>>>("PartialTemplate", template_type.dt())
+    .apply<PartialTemplate<P1>, PartialTemplate<P2>>(WrapPartialTemplateType());
 
   types.add_type<Parametric<TypeVar<1>>>("TemplateDefaultType")
     .apply<TemplateDefaultType<P1>, TemplateDefaultType<P2>>(WrapTemplateDefaultType());