summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/strict-coherence-needs-negative-coherence.rs
blob: 221683dd56f480a30e087616def60aa22b6320a9 (plain)
1
2
3
4
5
6
7
#![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() {}