The Arbitrary trait is not implemented for the set of range-like structures.

• Range
• RangeFrom
• RangeFull
• RangeInclusive
• RangeTo
• RangeToInclusive

The lack of such a feature mandates the manual rolling of intended parameters.

#[kani::proof]
fn foo() {
let start = kani::any();
let end = kani::any();
let _ = std::ops::RangeInclusive::<u8>::new(start, end));