mirror of https://github.com/rust-lang/rust
22 lines
642 B
Rust
22 lines
642 B
Rust
// Test that declaring that `&T` is `Defaulted` if `T:Signed` implies
|
|
// that other `&T` is NOT `Defaulted` if `T:Signed` does not hold. In
|
|
// other words, the auto impl only applies if there are no existing
|
|
// impls whose types unify.
|
|
|
|
#![feature(auto_traits)]
|
|
#![feature(negative_impls)]
|
|
|
|
auto trait Defaulted { }
|
|
impl<'a,T:Signed> Defaulted for &'a T { }
|
|
impl<'a,T:Signed> Defaulted for &'a mut T { }
|
|
fn is_defaulted<T:Defaulted>() { }
|
|
|
|
trait Signed { }
|
|
impl Signed for i32 { }
|
|
|
|
fn main() {
|
|
is_defaulted::<&'static i32>();
|
|
is_defaulted::<&'static u32>();
|
|
//~^ ERROR the trait bound `&'static u32: Defaulted` is not satisfied
|
|
}
|