error[E0271]: type mismatch resolving ` as Strategy>::Value == u8` --> tests/compile_fail/invalid_strategy.rs:4:16 | 4 | #[strategy(0..10usize)] | ^--------- | | | expected `u8`, found `usize` | this tail expression is of type `Range` | note: required by a bound in `_strategy_of_x` --> tests/compile_fail/invalid_strategy.rs:5:8 | 4 | #[strategy(0..10usize)] | - required by a bound in this function 5 | x: u8, | ^^ required by this bound in `_strategy_of_x` error[E0271]: type mismatch resolving ` as Strategy>::Value == u8` --> tests/compile_fail/invalid_strategy.rs:2:10 | 2 | #[derive(Arbitrary, Debug)] | ^^^^^^^^^ expected `u8`, found `usize` | note: required by a bound in `_strategy_of_x` --> tests/compile_fail/invalid_strategy.rs:5:8 | 4 | #[strategy(0..10usize)] | - required by a bound in this function 5 | x: u8, | ^^ required by this bound in `_strategy_of_x` = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info)