| #![feature(auto_traits)] | |
| #![feature(negative_impls)] | |
| #![allow(bare_trait_objects)] | |
| auto trait Auto {} | |
| fn main() { | |
| let _: Box<((Auto)) + Auto>; //~ ERROR expected a path on the left-hand side of `+` | |
| let _: Box<(Auto + Auto) + Auto>; //~ ERROR expected a path on the left-hand side of `+` | |
| let _: Box<(Auto +) + Auto>; //~ ERROR expected a path on the left-hand side of `+` | |
| let _: Box<(dyn Auto) + Auto>; //~ ERROR expected a path on the left-hand side of `+` | |
| } |