//@ run-pass //@ compile-flags: -g use std::ops::Deref; trait Foo { fn foo() {} } impl Foo for u8 {} fn bar() where T::Target: Foo { <::Target as Foo>::foo() } fn main() { bar::<&u8>(); }