Initializing let variables and exhaustiveness checking #22470
Description
let tagName;
switch (kind) {
case ListKind.Ordered:
tagName = 'ol';
break;
case ListKind.Unordered:
tagName = 'ul';
break;
default:
assertNever(kind);
}
- The inferred type of
tagNameisstring|undefined, but should bestring, AFAICT. - Similarly: If I give
tagNamethe typestring, I get the error: “Variable 'tagName' is used before being assigned”.