Type narrowed to never, incorrectly #27103

function f(a?: {}) {
    if (!a) {
        // filters out falsy values:
        //  - `null`
        //  - `undefined`
        //  - `false`
        //  - `NaN`
        //  - `0` / `-0`
        //  - `''`
        return {};
    }

    // here, the type of `a` has been narrowed from "optional {}"
    // to just "{} minus `object`" (object-coercible, ie, anything but null/undefined, but not `object`)
    // effectively, this is `string | number | symbol | boolean | Function`

    if (typeof a !== 'object') {
        // `a` here could be the following values:
        //   - a function
        //   - `true``
        //   - a non-zero non-`NaN`` number
        //   - a non-empty string
        //   - a symbol
        return a; // however, the type inferred here is `never`
    }

    // here, `a` has a verifiably certain type of `object`.
    // because of the type guard above.
    return a; // however, the type is reported as `{}` 
}