Bug 10720 – ICE with is(aaOfNonCopyableStruct.nonExistingField)

struct NC { @disable this(this) {} } void main() { NC[string] aa; is(aa.nonExistingField); }

I think this is rather druntime issue. https://github.com/D-Programming-Language/druntime/pull/554

Commits pushed to master at https://github.com/D-Programming-Language/druntime https://github.com/D-Programming-Language/druntime/commit/2473c2204180be54d35bcd099b09949f13025199 fix issue 10720 - ICE with is(aaOfNonCopyableStruct.nonExistingField) AA.dup should be disabled if Value type is not copyable. The root cause was the use of Value.init. Built-in `init` property makes rvalue, therefore the 'static if' condition did not properly test 'copyable' trait of Value type. https://github.com/D-Programming-Language/druntime/commit/ee1eb100a7c0c283d798d4e4913d6472f1c50443 Merge pull request #554 from 9rnsr/fix10720 issue 10720 - ICE with is(aaOfNonCopyableStruct.nonExistingField)

Apparently the ICE happened because the instantiation of AssociativeArray!(Key, Value) failed so that TypeAArray::getImpl returns null.