blob: bb047a4b43142daffda60e2e24c4ce2d1ae3e6e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![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 `+`
}
|
