We have a plan for what error message we should get when we try to write code like let x: i32 = 3.0;. Let's try to make it a reality!

More info: https://artificialworlds.net/blog/2025/03/07/mini-rust-in-rust-019-type-check-assigment-sad