D-Programming-Language/phobos — pull request #823 by monarchdodra (2012-09-30 08:56:33+00:00)
Title: fix issue 8709, from documentation

Fixes http://d.puremagic.com/issues/show_bug.cgi?id=8709

!!!REQUIRES PULL 822 Unqual for AA first!!!
https://github.com/D-Programming-Language/phobos/pull/822

Basically, just a bit a qualification manipulation magic for properly building AAs.

FWI, The main problem is that...
is(KeyType!(int[int[int]]) == const(int)[int]);

Because of this, we unqualify the key type, build it, requalify, insert.

"result" is also unqualified, if the passed in AA has a const-key-type: Unqual, build, requal.

Proof of concept in the unittests.