Overlapping functionality: IFTI, templates, is-expressions

[Jason House]

Russell Lewis wrote:

> As you can tell from my recent posts (and bug reports), I've been
> pounding on D's template mechanisms a lot recently.  I'm trying to build
> a parser generator using templates.  I'm now starting my 3rd major
> generation of the library, because I keep finding fundamental weaknesses
> in each method I try.
> 
> I'm writing this post to observe, publicly, that there is *A LOT* over
> overlap between functions with IFTI, template specializations, and
> is-expressions.  However, the overlap isn't perfect; AFAIK, none of
> these 3 is a strict superset of the others.  So, it looks to me like I
> can't just choose one method and stick with it.  I would like to
> advocate for two changes to the language:


I had to do a google search for IFTI.  The top hits pointed me back to your
bug reports and posts...  I'm pretty sure it means "implicit function
template instantiation"