2018-03-16 11:45:47 -05:00
|
|
|
// Regression test for hashing involving canonical variables. In this
|
2022-08-17 21:13:37 -05:00
|
|
|
// test -- which has an intentional error -- the type of the value
|
2018-03-16 11:45:47 -05:00
|
|
|
// being dropped winds up including a type variable. Canonicalization
|
|
|
|
// would then produce a `?0` which -- in turn -- triggered an ICE in
|
|
|
|
// hashing.
|
|
|
|
|
2024-02-22 06:10:29 -06:00
|
|
|
//@ revisions:cfail1
|
2018-03-16 11:45:47 -05:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
println!("Hello, world! {}",*thread_rng().choose(&[0, 1, 2, 3]).unwrap());
|
|
|
|
//[cfail1]~^ ERROR cannot find function `thread_rng`
|
|
|
|
}
|