Typesafe variadics in any position

[Andrei Alexandrescu]

On 2/26/13 5:29 PM, H. S. Teoh wrote:
> On Tue, Feb 26, 2013 at 05:16:29PM -0500, Steven Schveighoffer wrote:
>> On Tue, 26 Feb 2013 17:04:40 -0500, timotheecour
>> <thelastmammoth at gmail.com>  wrote:
>>
>>> I proposed this a few weeks ago, but nobody gave feedback. This
>>> would enable it without worrying about special cases.
>>>
>>> http://forum.dlang.org/thread/miqtvuufvlwgfzblexxp@forum.dlang.org
>>> feature request: special optional argument (__FILE__, ...) AFTER
>>> variadic template.
>>
>> I think this is a different problem, the issue I'm talking about is
>> typesafe variadics, not variadic templates.
>>
>>> Please let me know what you think!
>>
>> Doesn't this work?
>>
>> foo(string filename=__FILE__, T...)(T args)
> [...]
>
> It should work, except that you'll have template bloat (not as bad as
> putting __line__ in the compile-time arguments though!)

Just forward immediately to a regular function. That gets rid of the bloat.

Andrei