Show warning for `let assert` that is guaranteed to fail

[giacomocavalieri]

It would be nice if the compiler warned us when a let assert is guaranteed to fail because of variant inference:

let assert Wibble(n) = Wobble(1)