blob: fa4a309315b4776cb2a47f13fb73dd50a3aa7bd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// check that reservation impls are accounted for in negative reasoning.
#![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() {}
|