tests/ui/type-alias-impl-trait/bounds.rs

#![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);

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

fn main() {}