| // For historical reasons, negative impls don't have an erroring pre-expansion feature gate. |
| // We're now at least issuing a warning for those that only exist before macro expansion. |
| // FIXME(#154045): Turn this pre-expansion warning into an error and remove the post-expansion gate. |
| // As part of this, move these test cases into `feature-gate-negative_impls.rs`. |
| //@ check-pass |
| |
| #[cfg(false)] |
| impl !Trait for () {} |
| //~^ WARN negative impls are experimental |
| //~| WARN unstable syntax can change at any point in the future |
| |
| fn main() {} |
