Bug 9596 – Ambiguous match is incorrectly hidden by additional lesser match

From std.traits.AssocArrayTypeOf. In the below, 'x' and 'y' are both ambiguous each other if it is called with shared(int)[int] argument, but that will be hidden by adding lesser match 'z'. void idzp1(K, V)(inout( V [K])) { pragma(msg, "x:", V); } void idzp1(K, V)(inout(shared(V) [K])) { pragma(msg, "y:", V); } void idzp2(K, V)(inout( V [K])) { pragma(msg, "x:", V); } void idzp2(K, V)(inout( const(V) [K])) { pragma(msg, "z:", V); } void idzp3(K, V)(inout(shared(V) [K])) { pragma(msg, "y:", V); } void idzp3(K, V)(inout( const(V) [K])) { pragma(msg, "z:", V); } void idzp4(K, V)(inout( V [K])) { pragma(msg, "x:", V); } void idzp4(K, V)(inout(shared(V) [K])) { pragma(msg, "y:", V); } void idzp4(K, V)(inout( const(V) [K])) { pragma(msg, "z:", V); } void idzp5(K, V)(inout(shared(V) [K])) { pragma(msg, "y:", V); } void idzp5(K, V)(inout( V [K])) { pragma(msg, "x:", V); } void idzp5(K, V)(inout( const(V) [K])) { pragma(msg, "z:", V); } void main() { shared(int)[int] aa; idzp1(aa); // make "matches more than one declaration" error, OK idzp2(aa); // matches "x", OK idzp3(aa); // matches "y", OK // these means: x == y, x > z, y > z idzp4(aa); // should be ambiguous with x and y, but incorrectly matches x idzp5(aa); // should be ambiguous with x and y, but incorrectly matches y }

https://github.com/D-Programming-Language/phobos/pull/1177 https://github.com/D-Programming-Language/dmd/pull/1409