Added support for using a temporary to implement emulated ABI return from inline asm, could be easier to use, but I think this will do. It's so extremely target dependent in any case that doing a completely generic approach seems hard.

module typeinfo11;

void main()
{
    int[4] a;
    TypeInfo ti;
    ti = typeid(typeof(a));
    assert(ti.next() is typeid(int));
    assert(ti.tsize() == 16);
}