error: to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled --> $DIR/strict-coherence-needs-negative-coherence.rs:4:1 | LL | #[rustc_strict_coherence] | ------------------------- due to this attribute LL | trait Foo {} | ^^^^^^^^^ error: aborting due to 1 previous error