#![feature(type_alias_impl_trait)]

// check-pass

use std::fmt::Debug;

// No need to report the `type_alias_bounds` lint, as
// the moment an opaque type is mentioned, we actually do check
// type alias bounds.
type Foo<T: Debug> = (impl Debug, usize);

fn foo<U: Debug>() -> Foo<U> {
    (Vec::<U>::new(), 1234)
}

fn main() {}