Complete code following the instructions, so that lines followed by # expect-type-error (if any) fail type check, while others can pass.
Hit the "▶️ Run" button to see result.