https://issues.dlang.org/show_bug.cgi?id=14675
Iain Buclaw changed:
What|Removed |Added
Priority|P1 |P3
--
https://issues.dlang.org/show_bug.cgi?id=14675
--- Comment #2 from Steven Schveighoffer schvei...@yahoo.com ---
Well, if T: T* isn't going to be removed, and we cannot use IFTI with it, we
should at least update the documentation. The documentation doesn't seem
accurate, since specializations do
https://issues.dlang.org/show_bug.cgi?id=14675
--- Comment #3 from Steven Schveighoffer schvei...@yahoo.com ---
(In reply to Steven Schveighoffer from comment #2)
I feel like it's shorthand for this:
foo(U : T*, T)(U *t)
But U isn't actually listed or accessible. BTW, the above has the
https://issues.dlang.org/show_bug.cgi?id=14675
--- Comment #1 from Kenji Hara k.hara...@gmail.com ---
Personally I call the things `T : T*` self-dependent or self-specialized
template parameter.
I agree that is one of a strange feature in D. I guess it would be a syntax to
declare a type