| // Regression test for hashing involving canonical variables. In this | |
| // test -- which has an intensional error -- the type of the value | |
| // being dropped winds up including a type variable. Canonicalization | |
| // would then produce a `?0` which -- in turn -- triggered an ICE in | |
| // hashing. | |
| // revisions:cfail1 | |
| fn main() { | |
| println!("Hello, world! {}",*thread_rng().choose(&[0, 1, 2, 3]).unwrap()); | |
| //[cfail1]~^ ERROR cannot find function `thread_rng` | |
| } |