Bug 6769 – [CTFE] AA.keys doesn't compile when -inline is used

This is an extremely ugly issue which broke the autotester. The problem is the templated AA inside object.di. It performs some nasty casts to void[], then calls the runtime. To avoid this, the CTFE engine intercepts all AA built-in functions at a higher level. But, the inliner really fouls things up, because it optimizes away the functions which the CTFE engine tries to recognize. Minimal test case for 2.055 static assert({ int[int] w= [1:2]; return w.keys.length; }()==1); This works OK, as long as -inline isn't used. But with -inline, it gives: c:\dmd\windows\bin\..\..\src\druntime\import\object.di(378): Error: _aaKeys cann ot be interpreted at compile time, because it has no available source code test.d(6): Error: cannot evaluate delegate @system uint() { int[int] w = [1:2]; return (ref AssociativeArray!(int,int) this = w; , (assert(&this,"null this") , (void[] a = _aaKeys(this.p,4u); , *& a))).length; } () at compile time ------- Note that the member variable 'p' is void *. The whole thing is a disgusting cast-fest.

https://github.com/D-Programming-Language/dmd/commit/85af04b5f02277ae8ae49b3a7d11ce20180ce5cd https://github.com/D-Programming-Language/dmd/commit/7c11df2d3529bd3fd6c6dc5682aedd1ba08ecbe8