1 use quickcheck::{quickcheck, TestResult};
2 
main()3 fn main() {
4     fn prop(length: usize, index: usize) -> TestResult {
5         let v: Vec<_> = (0..length).collect();
6         if index < length {
7             TestResult::discard()
8         } else {
9             TestResult::must_fail(move || v[index])
10         }
11     }
12     quickcheck(prop as fn(usize, usize) -> TestResult);
13 }
14