What does TypeScript infer, and which line errors?

const a = null; // line 1 const b = undefined; // line 2 let c = null; // line 3 c = "hello"; // line 4