inconsistent behavior of type qualifier inout + const

[dlangBugzillaToGithub]

Kenji Hara (@9rnsr) reported this on 2013-12-18T20:00:45Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=11768

Description

Currently inout(const(T)) should become const(T).

Test case:

void test1(inout int = 0)
{
    const(inout(char)) k1;
    inout(const(char)) k2;
    static assert(typeof(k1).stringof == "const(char)");    // OK
    static assert(typeof(k2).stringof == "const(char)");    // fails
    static assert(is(typeof(k1) == typeof(k2)));            // fails
}

[dlangBugzillaToGithub]

k.hara.pg commented on 2013-12-18T20:16:17Z

https://github.com/D-Programming-Language/dmd/pull/2987

[dlangBugzillaToGithub]

github-bugzilla commented on 2013-12-21T12:56:11Z

Commit pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/09448ff6c3d1a273444983cf94f9b07ff70d112d
fix Issue 11768 - inconsistent behavior of type qualifier inout + const

Fix up `Parser::parseBasicType` by using `Type::addSTC`