| //@ revisions: e2015 e2021 |
| //@[e2015] edition: 2015 |
| //@[e2021] edition: 2021 |
| |
| #![cfg_attr(e2015, allow(bare_trait_objects))] |
| |
| trait Trait {} |
| |
| fn f<'a, T: Trait + ('a)>() {} //~ ERROR lifetime bounds may not be parenthesized |
| |
| fn check<'a>() { |
| let _: Box<Trait + ('a)>; //~ ERROR lifetime bounds may not be parenthesized |
| //[e2021]~^ ERROR expected a type, found a trait |
| // FIXME: It'd be great if we could suggest removing the parentheses here too. |
| //[e2015]~v ERROR lifetimes must be followed by `+` to form a trait object type |
| let _: Box<('a) + Trait>; |
| //[e2021]~^ ERROR expected type, found lifetime |
| //[e2021]~| ERROR expected a path on the left-hand side of `+` |
| } |
| |
| fn main() {} |
