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

17 lines
332 B
Rust

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