mirror of https://github.com/rust-lang/rust
22 lines
365 B
Rust
22 lines
365 B
Rust
// 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() {}
|