]> git.lizzy.rs Git - rust.git/blob - src/test/ui/coherence/strict-coherence-needs-negative-coherence.rs
Rollup merge of #104558 - thomcc:unalign-diriter, r=ChrisDenton
[rust.git] / src / test / ui / coherence / strict-coherence-needs-negative-coherence.rs
1 #![feature(rustc_attrs)]
2
3 #[rustc_strict_coherence]
4 trait Foo {}
5 //~^ ERROR to use `strict_coherence` on this trait, the `with_negative_coherence` feature must be enabled
6
7 fn main() {}