Each branch names the other's field as absent: this project compiles without strictNullChecks, which turns off narrowing on ok, and a caller reads error after if (!checked.ok).
ok
error
if (!checked.ok)
Each branch names the other's field as absent: this project compiles without strictNullChecks, which turns off narrowing on
ok, and a caller readserrorafterif (!checked.ok).