1 // A single lifetime is not parsed as a type.
2 // `ty` matcher in particular doesn't accept a single lifetime
12 //~^ ERROR lifetime in trait object type must be followed by `+`
13 //~| ERROR at least one trait is required for an object type
14 //~| WARN trait objects without an explicit `dyn` are deprecated