[rustc.git] / src / test / ui / issues / issue-26127.rs

// run-pass
trait Tr { type T; }
impl Tr for u8 { type T=(); }
struct S<I: Tr>(#[allow(unused_tuple_struct_fields)] I::T);

fn foo<I: Tr>(i: I::T) {
    S::<I>(i);
}

fn main() {
    foo::<u8>(());
}
Commit	Line	Data
b7449926	1	// run-pass
62682a34 SL	2	trait Tr { type T; }
62682a34 SL	3	impl Tr for u8 { type T=(); }
064997fb	4	struct S<I: Tr>(#[allow(unused_tuple_struct_fields)] I::T);
223e47cc	5
62682a34 SL	6	fn foo<I: Tr>(i: I::T) {
	7	S::<I>(i);
	8	}
	9
	10	fn main() {
	11	foo::<u8>(());
	12	}