|
#![feature(type_alias_impl_trait)]
|
|
|
|
type Foo = impl Send;
|
|
|
|
// This is not structural-match
|
|
struct A;
|
|
|
|
const fn value() -> Foo {
|
|
A
|
|
}
|
|
const VALUE: Foo = value();
|
|
|
|
fn test() {
|
|
match VALUE {
|
|
VALUE => (),
|
|
//~^ `Foo` cannot be used in patterns
|
|
_ => (),
|
|
}
|
|
}
|
|
|
|
fn main() {}
|