type nothing emitted in generated .d.ts files #8345

function f() {
    var x: string | undefined = undefined;
    y = 0;
    if (x) {
       var y: typeof x;
    }
    return y; // y has type nothing
}

declare function f(): nothing;