about summary refs log tree commit diff
path: root/src/test/run-pass/issues/issue-6318.rs
blob: d416048265fa51eb3f5114c86e61da86753c9ef1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// run-pass
// pretty-expanded FIXME #23616

#![feature(box_syntax)]

pub enum Thing {
    A(Box<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<Foo+'static>) {
        Thing::A(_a) => 0,
    };
}