Unnecessary assertion inside `while i < *::MAX` loop

```Rust
pub fn test() {
    let mut i = 1u32;
    while i < u32::MAX {
        assert_ne!(i, 0, "No way...");
        i += 1;
    }
}
```
https://godbolt.org/z/oY5ra8

The assertion disappears when comparing against a non-MAX value for a given type, or with `mir-opt-level` 2 and above.