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.
Really, a type that is the same only different is a recipe for endless subtle and ugly problems. It's a nightmare.
