Support dividing NonZero integers without zero check

[upsuper]

Currently for the following function

fn foo(a: i32, b: i32) -> i32 { a / b }

it always checks first that b is not zero. It's an unnecessary extra cost when people can logically ensure that the divisor would never be zero.

It would probably be ideal if one can write

fn foo(a: i32, b: NonZeroI32) -> i32 { a / b }

and it doesn't do zero-checking.

[leonardo-m]

You need b.get(). This seems a dupe of #54868

[upsuper]

Yeah, looks like a dupe. Thanks.