blob: a0dd881d1aaad7455fa266dd44f0a47149949c66 [file] [log] [blame]
// 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() {}