Now that we're using LLVM 2.5, we can stop always running the CFGSimplification pass. The pass was originally added as a workaround for a LLVM 2.4 bug where debug info would reference labels that have been optimized away.

module typeinfo5;

void main()
{
    enum E : uint {
        A,B,C
    }
    auto ti = typeid(E);
    assert(ti.next() is typeid(uint));
    assert(ti.init is null);
}