Bug 17432 – [DIP1000] scope delegates change type, but not mangling

Consider this code: ///////////////// module test; int opApply(scope int delegate() dg) { return dg(); } // stripped down version of std.traits.Parameters template Parameters(alias func) { static if (is(typeof(func) P == function)) alias Parameters = P; else static assert(0, "unsupported"); } alias op = Parameters!(opApply)[0]; enum typeString = op.stringof; mixin(typeString ~ " dg;"); alias ty = typeof(dg); pragma(msg, op.stringof ~ " -> " ~ op.mangleof); pragma(msg, ty.stringof ~ " -> " ~ ty.mangleof); ///////////////// Compiling with "dmd -c test.d" prints: int delegate() -> DFZi int delegate() -> DFZi When compiled with "dmd -c -dip1000 test.d", dmd prints: int delegate() scope -> DFZi int delegate() scope -> DFNlZi The type of the scope delegate parameter is modified adding "scope" as a function attribute, but this is not reflected in the mangling. When reusing its type elsewhere, the mangling is different. This is currently blocking https://github.com/dlang/dmd/pull/5855 as it has to redo the mangling of the delegate whenever it happens to be part of another symbol.

For reference: The type repainting happens in TypeDelegate.addStorageClass()

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/ce9e26f0367b1d7c5d71857bae85b657bd18ba31 fix Issue 17432 - scope delegates change type, but not mangling do not add "scope" to .mangleof or .stringof if it was inferred https://github.com/dlang/dmd/commit/6ba296f066ae30c7530b973581e0d9c92fb96665 Merge pull request #6864 from rainers/issue_17432_2 fix Issue 17432 - scope delegates change type, but not mangling

Commits pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/ce9e26f0367b1d7c5d71857bae85b657bd18ba31 fix Issue 17432 - scope delegates change type, but not mangling https://github.com/dlang/dmd/commit/6ba296f066ae30c7530b973581e0d9c92fb96665 Merge pull request #6864 from rainers/issue_17432_2