2019-01-06 09:33:05 -06:00
|
|
|
#![feature(optin_builtin_traits)]
|
2020-01-09 04:56:38 -06:00
|
|
|
#![feature(negative_impls)]
|
2019-05-28 13:45:27 -05:00
|
|
|
#![allow(bare_trait_objects)]
|
2019-01-06 09:33:05 -06:00
|
|
|
|
|
|
|
auto trait Auto {}
|
2017-04-04 17:12:53 -05:00
|
|
|
|
|
|
|
fn main() {
|
2019-01-06 09:33:05 -06:00
|
|
|
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)`
|
2017-04-04 17:12:53 -05:00
|
|
|
}
|