Bug 10548 – [REG 2.064a] argument has no identifier

import std.stdio, std.traits; int foo(int num, string name); void main() { void bar(int num){} static if (is(FunctionTypeOf!bar PT == __parameters)) { pragma(msg, __traits(identifier, PT[0..1])); } } Compiling this code using dmd 2.063, you get "num" printed out. In dmd 2.064a, the compiler prints: ------ main.d(8): Error: argument int has no identifier false ------ This regression is caused by commit: 877e7bf pull request: https://github.com/D-Programming-Language/dmd/pull/1102 fixing: http://d.puremagic.com/issues/show_bug.cgi?id=3646 This is blocking: https://github.com/D-Programming-Language/phobos/pull/1378

This is expected change. After pull #1102 change, default arguments and parameter identifiers never appear in the result of FunctionTypeOf template.

Sorry, the above comment was my mistake. Finally I've concluded that the current git head behavior is *unnecessarily* restrictive. I reconsidered about it and convinced that fixing this *regression* won't introduce any dangerous semantics. I reopen this issue.

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/7f932696732c9f8237b039b72342e3080ddd8c11 Issue 10548 - argument has no identifier Don't strip default args and parameter names on alias declarations. Instead do it against template type arguments. https://github.com/D-Programming-Language/dmd/commit/0f36bb59d3f4be01b19510d7c625ed458f00b831 Merge pull request #2311 from 9rnsr/improveDefArgs [REG2.064a] Issue 10548 - argument has no identifier