gcc/testsuite/rust/compile/torture/traits4.rs

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

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

trait Foo {
    type A;
    type B;

    fn new(a: Self::A, b: Self::B) -> Self;
}

struct Baz(i32, f32);

impl Foo for Baz {
    type A = i32;
    type B = f32;

    fn new(a: Self::A, b: Self::B) -> Self {
        Baz(a, b)
    }
}

fn main() {
    Baz::new(123, 456f32);
}