tests/ui/inference/range-type-infer.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// run-pass

#![allow(unused_must_use)]
// Make sure the type inference for the new range expression work as
// good as the old one. Check out issue #21672, #21595 and #21649 for
// more details.


fn main() {
    let xs = (0..8).map(|i| i == 1u64).collect::<Vec<_>>();
    assert_eq!(xs[1], true);
    let xs = (0..8).map(|i| 1u64 == i).collect::<Vec<_>>();
    assert_eq!(xs[1], true);
    let xs: Vec<u8> = (0..10).collect();
    assert_eq!(xs.len(), 10);

    for x in 0..10 { x % 2; }
    for x in 0..100 { x as f32; }

    let array = [true, false];
    for i in 0..1 { array[i]; }
}