fix Issue 3467 - Non-int integral template parameters not correctly p…

…ropagated

template.dd

@@ -130,8 +130,7 @@ $(GNAME TemplateSingleArgument):
     )
 
     $(P Multiple instantiations of a $(I TemplateDeclaration) with the same
-        $(I TemplateArgumentList), before implicit conversions,
-        all will refer to the same instantiation.
+        $(I TemplateArgumentList) all will refer to the same instantiation.
         For example:
 
         ------
@@ -149,12 +148,17 @@ $(GNAME TemplateSingleArgument):
     )
 
     $(P Even if template arguments are implicitly converted to the same
-        template parameter type, they still refer to different instances:
+        template parameter type, they still refer to same instance:
 
         -----
         struct TFoo(int x) { }
-        static assert(is(TFoo!(3) == TFoo!(2 + 1))); // 3 and 2+1 are both 3 of type int
-        static assert(!is(TFoo!(3) == TFoo!(3u)));   // 3u and 3 are different types
+
+        // 3 and 2+1 are both 3 of type int
+        static assert(is(TFoo!(3) == TFoo!(2 + 1)));
+
+        // 3u is implicitly converted to 3 to match int parameter,
+        // and refers exactly same instance with TFoo!(3).
+        static assert(is(TFoo!(3) == TFoo!(3u)));
         -----
     )