tests/ui/impl-trait/opaque-hidden-inferred-rpitit.rs


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

//@ check-pass

// Make sure that the `opaque_hidden_inferred_bound` lint doesn't fire on
// RPITITs with no hidden type.

trait T0 {}

trait T1 {
    type A: Send;
}

trait T2 {
    fn foo() -> impl T1<A = ((), impl T0)>;
}

fn main() {}