blob: c17d595dbb3ad23e07b33f73bad8e6b4dee960d8 [file] [log] [blame]
// check-pass
#![feature(type_alias_impl_trait)]
use std::fmt::Debug;
fn main() {}
type Two<T: Debug, U> = impl Debug;
fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> {
(t, 4u32)
}