Try:

const o = { a: 1 };
o.a = 2;
(o: { a: 1 }); // Ok?!

I would have expected the assignment to have widened the deduced type for o to { a: 1|2 } or { a: number }, thus causing the type assertion to fail. Instead, it passes.