When does Typescript Type Inference in Switch Statements work?

Question

Why does type inference work in example A but not in B? The only difference is the position of the type string. block.type vs block.meta.type. A co