src/test/ui/type-alias-impl-trait/issue-66580-closure-coherence.rs


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

// Regression test for issue #66580
// Ensures that we don't try to determine whether a closure
// is foreign when it's the underlying type of an opaque type
// check-pass
#![feature(type_alias_impl_trait)]

type Closure = impl FnOnce();

fn closure() -> Closure {
    || {}
}

struct Wrap<T> {
    f: T,
}

impl Wrap<Closure> {}

impl<T> Wrap<T> {}

fn main() {}