Auto merge of #106853 - TimNN:undo-remap, r=oli-obk

[rust.git] / tests / ui / coherence / strict-coherence-needs-negative-coherence.rs

#![feature(rustc_attrs)]

#[rustc_strict_coherence]
trait Foo {}
//~^ ERROR to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled

fn main() {}