Bug 17116 – std.typecons.ReplaceType is not able to process const delegate

void main() { import std.typecons; alias ConstDg = void delegate(float) const; alias B = void delegate(int) const; alias A = ReplaceType!(float, int, ConstDg); static assert(is(B == A)); } /opt/compilers/dmd2/include/std/typecons.d-mixin-7364(7364): Error: @identifier or @(ArgumentList) expected, not @const /opt/compilers/dmd2/include/std/typecons.d-mixin-7364(7364): Error: valid attributes are @property, @safe, @trusted, @system, @disable, @nogc /opt/compilers/dmd2/include/std/typecons.d(7229): Error: template instance std.typecons.replaceTypeInFunctionType!(float, int, void delegate(float) const) error instantiating /d296/f412.d(6): instantiated from here: ReplaceType!(float, int, void delegate(float) const) /d296/f412.d(7): Error: static assert (is(void delegate(int) const == _error_)) is false

Commits pushed to master at https://github.com/dlang/phobos https://github.com/dlang/phobos/commit/181db425c9f19b0fa20f0c2c6cd9287922a640ae fix issue 17116 - std.typecons.ReplaceType is not able to process const delegate https://github.com/dlang/phobos/commit/78be8eef4a597b9bd0e241402b32344601fb6570 Merge pull request #5060 from BBasile/issue-17116 fix issue 17116 - std.typecons.ReplaceType is not able to process const delegates

Commits pushed to newCTFE at https://github.com/dlang/phobos https://github.com/dlang/phobos/commit/181db425c9f19b0fa20f0c2c6cd9287922a640ae fix issue 17116 - std.typecons.ReplaceType is not able to process const delegate https://github.com/dlang/phobos/commit/78be8eef4a597b9bd0e241402b32344601fb6570 Merge pull request #5060 from BBasile/issue-17116

Commits pushed to stable at https://github.com/dlang/phobos https://github.com/dlang/phobos/commit/181db425c9f19b0fa20f0c2c6cd9287922a640ae fix issue 17116 - std.typecons.ReplaceType is not able to process const delegate https://github.com/dlang/phobos/commit/78be8eef4a597b9bd0e241402b32344601fb6570 Merge pull request #5060 from BBasile/issue-17116