tests/ui/traits/reservation-impl/coherence-conflict.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// check that reservation impls are accounted for in negative reasoning.
//@ revisions: old next
//@[next] compile-flags: -Znext-solver
#![feature(rustc_attrs)]

trait MyTrait {}
#[rustc_reservation_impl="this impl is reserved"]
impl MyTrait for () {}

trait OtherTrait {}
impl OtherTrait for () {}
impl<T: MyTrait> OtherTrait for T {}
//~^ ERROR conflicting implementations

fn main() {}