2017-03-16 16:47:32 -05:00
|
|
|
// `ty` matcher accepts trait object types
|
|
|
|
|
|
|
|
macro_rules! m {
|
|
|
|
($t: ty) => ( let _: $t; )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2019-05-28 13:46:13 -05:00
|
|
|
m!(dyn Copy + Send + 'static);
|
|
|
|
//~^ ERROR the trait `std::marker::Copy` cannot be made into an object
|
|
|
|
m!(dyn 'static + Send);
|
|
|
|
m!(dyn 'static +); //~ ERROR at least one non-builtin trait is required for an object type
|
2017-03-16 16:47:32 -05:00
|
|
|
}
|