#![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 `+`
}