test-strategy 0.3.0

Procedural macro to easily write higher-order strategies in proptest.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

error[E0614]: type `u32` cannot be dereferenced
 --> tests/compile_fail/sharp_val_span.rs:8:19
  |
8 |     #[strategy(0..*#x)]
  |                   ^^^

error[E0283]: type annotations needed
 --> tests/compile_fail/sharp_val_span.rs:8:16
  |
8 |     #[strategy(0..*#x)]
  |                ^ cannot infer type of the type parameter `S` declared on the function `_strategy_of_y`
  |
  = note: multiple `impl`s satisfying `std::ops::Range<{integer}>: Strategy` found in the `proptest` crate:
          - impl Strategy for std::ops::Range<i128>;
          - impl Strategy for std::ops::Range<i16>;
          - impl Strategy for std::ops::Range<i32>;
          - impl Strategy for std::ops::Range<i64>;
          and 8 more
note: required by a bound in `_strategy_of_y`
 --> tests/compile_fail/sharp_val_span.rs:9:8
  |
8 |     #[strategy(0..*#x)]
  |                - required by a bound in this
9 |     y: u32,
  |        ^^^ required by this bound in `_strategy_of_y`
help: consider specifying the type arguments in the function call
  |
8 |     #[strategy(0::<T, S>..*#x)]
  |                 ++++++++