blob: 65f7d7f485d495803fccae67f24d283d77f25473 [file] [log] [blame]
#![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 one<T: Debug>(t: T) -> Two<T, T> {
//~^ ERROR defining opaque type use restricts opaque type
t
}
fn three<T, U: Debug>(_: T, u: U) -> Two<T, U> {
u
}