lint assert!(true / false)

[matthiaskrgr]

assert!(true); will be optimized out by the compiler
assert!(false); should probably be replaced by a panic!().

[Arkweid]

Take this one :)

[ordovicia]

How about replacing assert!(false) with unreachable!()?
I guess programmers often use assert!(false) and equivalent in other languages with the intention that the code is unreachable.
Of course panic!() is more versatile, so it may be better to use panic!() for the replacement.

[Arkweid]

PR added :)
@matthiaskrgr can you check? Especially the error messages, I'm not sure what the description is as it should be

[flip1995]

After #3582 was merged this lint can be enhanced by suggestions for assert(true/false):

• suggest ""/"panic!()" (should be easy, but some weird things were going on: Add assert(true) and assert(false) lints #3582 (comment))
• if it is a assert!(false, "_") call, suggest panic!("_") instead of just panic!() (advanced)

[Lythenas]

I would like to try and implement the first suggestion (assert(true) -> "" and assert(false) -> panic!()). And after maybe the second suggestion too.

[flip1995]

Just for clarification:

assert(true) -> "" and assert(false) -> panic!()

suggesting "" instead of assert doesn't make sense. Then I saw, that I recommended to do this:

suggest ""/"panic!()"

What I meant with that is, to suggest removing the assert completely if it is assert!(true) and to suggest panic!() if it is assert!(false).

[Lythenas]

Right. I didn't think that far. Also I notices the first part is already implemented so I will start on the second part assert!(false, "msg") -> panic/unreachable!("msg")