Make == for associative arrays test for equality, not identity. _aaEq was added to runtime/internal/aaA.d which forwards to TypeInfo_AssociativeArray.equals in genobj.d. On the codegen side, DtoAAEquals was added to gen/aa.cpp and is called from EqualExp::toElem in gen/toir.cpp. I assume that the frontend will produce an error if == is used on associative arrays of different type. This fixes DMD bug 1429.

module vararg3;

import tango.core.Vararg;

void func(...)
{
    assert(_arguments.length == 3);
    assert(_arguments[0] is typeid(int));
    assert(_arguments[1] is typeid(float));
    assert(_arguments[2] is typeid(long));
    assert(va_arg!(int)(_argptr) == 4);
    assert(va_arg!(float)(_argptr) == 2.5f);
    assert(va_arg!(long)(_argptr) == 42L);
}

void main()
{
    func(4, 2.5f, 42L);
}