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