| // run-pass | |
| // pretty-expanded FIXME #23616 | |
| #![feature(box_syntax)] | |
| pub enum Thing { | |
| A(Box<dyn Foo+'static>) | |
| } | |
| pub trait Foo { | |
| fn dummy(&self) { } | |
| } | |
| pub struct Struct; | |
| impl Foo for Struct {} | |
| pub fn main() { | |
| match Thing::A(box Struct as Box<dyn Foo + 'static>) { | |
| Thing::A(_a) => 0, | |
| }; | |
| } |