I'm not entirely sure what #45267 is going for - while it makes sense in theory, the reality of allowUnreachableCode: false is that it seems to include the type-unreachable things. Anyhow I suppose my complaint for type-unreachable code is that the error messages could be more clear, even when allowUnreachableCode: true. It's not immediately clear to me if that means this ticket will have the same resolution as that one or not.