blob: 6bbd90f94dc392a121f8b875bc34884ae87e2559 (
plain)
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: -Ztrait-solver=next
#![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() {}
|
