On 2/17/2013 9:23 PM, Jonathan M Davis wrote: > So, I think that the problem is essentially solved > for @safe, pure, and nothrow as long as the implementation issues get solved. Yup, I believe that for templates using inference is the way to go. Currently, dmd does a rudimentary job of it, much improvement is possible.