[rustc.git] / src / test / ui / traits / object / macro-matcher.rs

// `ty` matcher accepts trait object types

macro_rules! m {
    ($t: ty) => ( let _: $t; )
}

fn main() {
    m!(dyn Copy + Send + 'static);
    //~^ ERROR the trait `Copy` cannot be made into an object
    m!(dyn 'static + Send);
    m!(dyn 'static +); //~ ERROR at least one trait is required for an object type
}
Commit	Line	Data
cc61c64b XL	1	// `ty` matcher accepts trait object types
	2
	3	macro_rules! m {
	4	($t: ty) => ( let _: $t; )
	5	}
	6
7453a54e	7	fn main() {
dc9dc135	8	m!(dyn Copy + Send + 'static);
1b1a35ee	9	//~^ ERROR the trait `Copy` cannot be made into an object
dc9dc135 XL	10	m!(dyn 'static + Send);
dc9dc135 XL	11	m!(dyn 'static +); //~ ERROR at least one trait is required for an object type
223e47cc	12	}