gcc/testsuite/rust/compile/issues/4293.rs

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

#[lang = "sized"]
pub trait Sized {}

trait Foo {
    type Bar<T>;

    fn foo<T>(self, value: T) -> Self::Bar<T>;
    fn baz<T>(self, value: T) -> Self::Bar<T>;
}

impl Foo for i32 {
    type Bar<T> = T;

    fn foo<T>(self, value: T) -> Self::Bar<T> {
        value
    }

    fn baz<T>(self, value: T) -> Self::Bar<T> {
        value
    }
}

fn main() {
    let a = 15;

    let _b = a.foo::<i8>(14i8);
    let _c = a.baz::<u32>(32u32);
}