|
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
|
|
#![feature(negative_impls)]
|
|
|
|
// Test a negative impl that "specializes" another negative impl.
|
|
//
|
|
//@ check-pass
|
|
|
|
trait MyTrait {}
|
|
|
|
impl<T> !MyTrait for T {}
|
|
impl !MyTrait for u32 {}
|
|
|
|
fn main() {}
|