tests/ui/type-alias-impl-trait/rpit_tait_equality_in_canonical_query_2.rs


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

// The canonical query `Projection(<get_rpit as FnOnce>::Output = Opaque)`
// is the *only* site that defines `Opaque` in MIR typeck.
//
// check-pass

#![feature(type_alias_impl_trait)]

type Opaque = impl Sized;

fn get_rpit() -> impl Sized {}

fn query(_: impl FnOnce() -> Opaque) {}

fn test(_: Opaque) {
    query(get_rpit);
}

fn main() {}