//@ check-pass
struct S<T> {
_t: T,
}
fn f(S::<&i8> { .. }: S<&i8>) {}
fn main() {
f(S { _t: &42_i8 });