Question regarding match statement in uniform.rs -> Sample single value, Canon's method, unbiased.

[Thell]

In sample_single_inclusive with feature unbiased:

rand/src/distributions/uniform.rs

Line 620 in bca078e

_ => {

If checked_add performs addition that returns None instead of wrapping around on overflow then won't it always return either a value or None? If so, when would the default case ever happen? And, if it never happens then shouldn't it be removed? And, if it should be removed then isn't it then the same as the sample_single_value without the unbiased feature (Canon's method, biased)?

[Thell]

Never mind, I was totally forgetting the conditional part of the Some(x) match. Sorry.