| //@ revisions: current next | |
| //@[next] compile-flags: -Znext-solver | |
| //@ ignore-compare-mode-next-solver (explicit revisions) | |
| // Tests that projection doesn't explode if we accidentally | |
| // put an associated type on an auto trait. | |
| auto trait Trait { | |
| //~^ ERROR auto traits are experimental and possibly buggy | |
| type Output; | |
| //~^ ERROR auto traits cannot have associated items | |
| } | |
| fn main() { | |
| let _: <() as Trait>::Output = (); | |
| //~^ ERROR mismatched types | |
| } |