Provided overload to TypeClass::builtinTypeInfo to return true. Shouldn't almost all types have a builtin typeinfo? Maybe it'd be better to have the default at true and only overload typedef and friends.

module bug45;

void foo() {
    int bar;
    scope(exit) { bar++; }
    if (bar) return;
}

void main() {
    foo();
}