[svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). Changed array comparison runtime support to pass the array typeinfo instead of the element typeinfo. This allows a cleaner and faster implementation.

module bug6;
class wrong { }
void bark(ref wrong s) { s = new wrong; }
void foo(wrong tree) {
    auto old = tree;
    bark(tree);
    assert(old !is tree);
}
void main()
{
    auto w = new wrong;
    auto old = w;
    foo(w);
    assert(w is old);
}