[rustc.git] / src / test / ui / type-alias-impl-trait / generic_duplicate_param_use3.rs

#![feature(type_alias_impl_trait)]

use std::fmt::Debug;

fn main() {}

// test that unused generic parameters are ok
type Two<T, U> = impl Debug;

fn two<T: Debug, U>(t: T, _: U) -> Two<T, U> {
    t
    //~^ ERROR `T` doesn't implement `Debug`
}

fn three<T, U: Debug>(_: T, u: U) -> Two<T, U> {
    u
    //~^ ERROR `U` doesn't implement `Debug`
}
Commit	Line	Data
94222f64	1	#![feature(type_alias_impl_trait)]
9fa01778 XL	2
	3	use std::fmt::Debug;
	4
	5	fn main() {}
	6
	7	// test that unused generic parameters are ok
416331ca	8	type Two<T, U> = impl Debug;
9fa01778	9
9fa01778 XL	10	fn two<T: Debug, U>(t: T, _: U) -> Two<T, U> {
9fa01778 XL	11	t
04454e1e	12	//~^ ERROR `T` doesn't implement `Debug`
9fa01778 XL	13	}
	14
	15	fn three<T, U: Debug>(_: T, u: U) -> Two<T, U> {
9fa01778	16	u
04454e1e	17	//~^ ERROR `U` doesn't implement `Debug`
9fa01778	18	}