Why does typescript narrow unknown to never inside a reachable conditional block?

Question

When inputting the sample below in Typescript Playground (link), mousing over foo inside the console.log statement reveals that foo\'s