Function pointers/delegates default args were stealth removed?

[Artur Skawina]

On 08/27/12 12:54, Timon Gehr wrote:
> On 08/27/2012 10:48 AM, Piotr Duda wrote:
>> 2012/8/27 Walter Bright <newshound2 at digitalmars.com>:
>>> On 8/26/2012 11:14 PM, Piotr Duda wrote:
>>>>
>>>> Default args should be part of types (for passing them as template
>>>> args etc, implicity convertable if they differs only on defaults) but
>>>> not mangled in (since mangling is revelant only for linking, where
>>>> defaults doesn't matter).
>>>
>>>
>>> And then there's a list of other bugs that show up. Now you have two
>>> different types showing up as the same type (i.e. name) to the linker, and
>>> you've got weird collisions.
>>
>> For linker these types should be identical, so there shouldn't be any
>> collisions, unless D handles default args fundamentally different than
>> C++.
>>
> 
> You said they should be part of the type for passing as template args:
> 
> auto foo(T)(T dg){
>     return dg();
> }
> 
> // therefore
> assert(foo((int x=2)=>x)==2); // this instantiation
> assert(foo((int x=3)=>x)==3); // must differ from this one
> // ergo, they cannot have the same mangled symbol name!

Anonymous functions must be unique anyway.

artur