about summary refs log tree commit diff
path: root/tests/ui/parser/ranges-precedence.rs
blob: 783799f7099894b9ec1a1130dcdc007dd6731a19 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
//@ run-pass
//@ edition: 2021
// Test that the precedence of ranges is correct

use core::ops::{Add, RangeTo};

struct Foo {
    foo: usize,
}

impl Foo {
    fn bar(&self) -> usize { 5 }
}

impl Add<RangeTo<usize>> for Foo {
    type Output = usize;
    fn add(self, range: RangeTo<usize>) -> Self::Output {
        self.foo + range.end
    }
}

fn main() {
    let x = 1+3..4+5;
    assert_eq!(x, (4..9));

    let x = 1..4+5;
    assert_eq!(x, (1..9));

    let x = 1+3..4;
    assert_eq!(x, (4..4));

    let a = Foo { foo: 3 };
    let x = a.foo..a.bar();
    assert_eq!(x, (3..5));

    let x = 1+3..;
    assert_eq!(x, (4..));
    let x = ..1+3;
    assert_eq!(x, (..4));

    let a = &[0, 1, 2, 3, 4, 5, 6];
    let x = &a[1+1..2+2];
    assert_eq!(x, &a[2..4]);
    let x = &a[..1+2];
    assert_eq!(x, &a[..3]);
    let x = &a[1+2..];
    assert_eq!(x, &a[3..]);

    for _i in 2+4..10-3 {}

    let i = 42;
    for _ in 1..i {}
    for _ in 1.. { break; }

    let x = [1]..[2];
    assert_eq!(x, (([1])..([2])));

    let y = ..;
    assert_eq!(y, (..));

    let reference = &..0;
    assert_eq!(*reference, ..0);
    let reference2 = &&..0;
    assert_eq!(**reference2, ..0);

    let closure = || ..0;
    assert_eq!(closure(), ..0);

    let sum = Foo { foo: 3 } + ..4;
    assert_eq!(sum, 7);

    macro_rules! expr {
        ($e:expr) => {};
    }
    expr!(!..0);
    expr!(-..0);
    expr!(*..0);
}