blob: 0f1f49a521bd651f8e3f6429717abc9ebb889cae [file] [log] [blame]
// compile-flags: -Z continue-parse-after-error
#![feature(optin_builtin_traits)]
auto trait Auto {}
fn main() {
let _: Box<((Auto)) + Auto>;
//~^ ERROR expected a path on the left-hand side of `+`, not `((Auto))`
let _: Box<(Auto + Auto) + Auto>;
//~^ ERROR expected a path on the left-hand side of `+`, not `(Auto + Auto)`
let _: Box<(Auto +) + Auto>;
//~^ ERROR expected a path on the left-hand side of `+`, not `(Auto)`
let _: Box<(dyn Auto) + Auto>;
//~^ ERROR expected a path on the left-hand side of `+`, not `(dyn Auto)`
}