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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![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() {}