Make "`aa[key]`" use the same runtime call as "`key in aa`". The runtime calls these were using were different, but with equivalent definitions. With `ldc -O3`, the following functions now all compile to the exact same code: {{{ int[int] y; void foo(int x) { if (x in y) { auto z = x in y; sink(*z); } } void bar(int x) { if (x in y) { sink(y[x]); } } void baz(int x) { if (auto p = x in y) { sink(*p); } } }}}

/*
 * Placed into the Public Domain
 * written by Walter Bright
 * www.digitalmars.com
 */

extern(C) void _d_invariant(Object o)
{   ClassInfo c;

    //printf("__d_invariant(%p)\n", o);

    // BUG: needs to be filename/line of caller, not library routine
    assert(o !is null);	// just do null check, not invariant check

    c = o.classinfo;
    do
    {
	if (c.classInvariant)
	{
	    (*c.classInvariant)(o);
	}
	c = c.base;
    } while (c);
}