]>
Commit | Line | Data |
---|---|---|
29967ef6 | 1 | #![feature(const_impl_trait, type_alias_impl_trait)] |
f9f354fc XL |
2 | |
3 | type Foo = impl Send; | |
4 | ||
5 | // This is not structural-match | |
6 | struct A; | |
7 | ||
8 | const fn value() -> Foo { | |
9 | A | |
10 | } | |
11 | const VALUE: Foo = value(); | |
12 | ||
13 | fn test() { | |
14 | match todo!() { | |
15 | VALUE => (), | |
1b1a35ee | 16 | //~^ `impl Send` cannot be used in patterns |
f9f354fc XL |
17 | _ => (), |
18 | } | |
19 | } | |
20 | ||
1b1a35ee | 21 | fn main() {} |