gcc/testsuite/rust/compile/issue-2723-2.rs

#![feature(no_core)]
#![no_core]

#![feature(lang_items)]
#[lang = "sized"]
pub trait Sized {}

struct S<T1, T2>(T1, T2);

impl S<i32, i32> {
    fn f<S>(t: S) -> S {
        t
    }
}

pub fn main() {
    S::<i32, i32>::f::<i32>(0);
}