1 2 3 4 5 6 7 8 9 10 11
// check-pass #![feature(with_negative_coherence)] use std::ops::DerefMut; trait Foo {} impl<T: DerefMut> Foo for T {} impl<U> Foo for &U {} fn main() {}