src/test/ui/elide-errors-on-mismatched-tuple.rs


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

// Hide irrelevant E0277 errors (#50333)

trait T {}

struct A;
impl T for A {}
impl A {
    fn new() -> Self {
        Self {}
    }
}

fn main() {
    let (a, b, c) = (A::new(), A::new()); // This tuple is 2 elements, should be three
    //~^ ERROR mismatched types
    let ts: Vec<&dyn T> = vec![&a, &b, &c];
    // There is no E0277 error above, as `a`, `b` and `c` are `TyErr`
}