src/test/ui/traits/object/macro-matcher.rs

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