| //! Test that we get an error about structural equality rather than a type error when attempting to | |
| //! use const patterns of library pointer types. Currently there aren't any smart pointers that can | |
| //! be used in constant patterns, but we still need to make sure we don't implicitly dereference the | |
| //! scrutinee and end up with a type error; this would prevent us from reporting that only constants | |
| //! supporting structural equality can be used as patterns. | |
| #![feature(deref_patterns)] | |
| const EMPTY: Vec<()> = Vec::new(); | |
| fn main() { | |
| // FIXME(inline_const_pat): if `inline_const_pat` is reinstated, there should be a case here for | |
| // inline const block patterns as well; they're checked differently than named constants. | |
| match vec![()] { | |
| EMPTY => {} | |
| //~^ ERROR: constant of non-structural type `Vec<()>` in a pattern | |
| _ => {} | |
| } | |
| } |