Function lacks ending return statement and return type does not include 'undefined'

🔎 Search Terms

switch default

🕗 Version & Regression Information

The tsc complains that the the function return undefined if a add a default case, actually the default case will never be executed, just only for exhausive check.

⏯ Playground Link

https://www.typescriptlang.org/play?jsx=0&ts=5.4.4#code/C4TwDgpgBAyglgL2gXigcgDYEMBOBzCNKAH3QDsB7HAWywyNLQGdaN6T1q4y40AoAMYUyTYFCaIUUAN4BfKFiaxJg4aKgAjDBQEBrKKgA8AJQB8ACgBmALijmAlAdNRjj5M+l8o3qDgjAAVxwyKEsHPlk+VRExASYlVC0dXXMHWzIA6g0IHCcZLx8mAHc4YAEACzsJJEdPH3qoAUVoNEoaOjRbOoaev0DgqABGAp7Inu8mphbsfEIukfHvPqCQgCYF+rHxyZauHk78xfrlgYBaQagNny2enfQWOnp5o58TkIAGK+8bhoATCEsWACGGAzxejTUYjI6QgADccgZxCpFj9IrJ7EA

💻 Code

type Size = 'large' | 'normal' | 'small' | 'mini'
const size = {} as Size
const block = <R>(f: () => R) => {
    return f()
}

const css = block((): number => {
    switch (size) {
        case 'normal': {
            return 1
        }
        case 'large': {
            return 2
        }
        case 'mini': {
            return -1 
        }
        case 'small': {
            return 0
        }
        default: {
            const n: never = size
        }
    }
})

🙁 Actual behavior

The tsc think that the function of css block returns number | undefined.

🙂 Expected behavior

The tsc should know that the default case is never returned, and the function of css block should returns number

Additional information about the issue

No response

Beginne mit der verknüpften TypeScript Playground-Reproduktion und der switch-Anweisung im Beschreibungstext des Issues. Verfolge, wie der Type Checker den vollständigen default-Zweig und die Rückgabeanalyse der umgebenden Pfeilfunktion behandelt. Als abgeschlossen gilt die Änderung, wenn der inferierte Rückgabetyp des Beispiels number statt number | undefined ist und eine Regressionstestabdeckung für dieses Verhalten vorhanden ist.