1 2 3 4 5 6 7 8 9
// check-pass #![feature(explicit_generic_args_with_impl_trait)] fn f<T: ?Sized>(_: impl AsRef<T>, _: impl AsRef<T>) {} fn main() { f::<[u8]>("a", b"a"); }