input with any::<bool>() constraint causes test to run for a long time

[udoprog]

Hey,

The following runs for a very long time, and seems to be unable to reduce the input:

#[macro_use]
extern crate proptest;

use proptest::prelude::*;

proptest! {
    fn run_for_a_long_time(v in any::<bool>()) {
        println!("v: {}", v);
        assert!(!v);
    }
}

fn main() {
    run_for_a_long_time();
}

Note that it works when the assert is just assert!(v).

[AltSysrq]

I can't believe I didn't have a test around this. Fix should be up in a bit.

[AltSysrq]

Fixed in 0.7.2.