blob: 1ec8877eaeba8c9fbab3bd6fcbf4eabe0a517f9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// check-pass
// FIXME(type_alias_impl_trait): What does this test? This needs a comment
// explaining what we're worried about here.
#![feature(type_alias_impl_trait)]
trait Trait {}
type Opaque<T> = impl Sized;
fn foo<T>() -> Opaque<T> {
()
}
impl<T, U, V> Trait for (T, U, V, V, u32) {}
impl<U, V> Trait for (Opaque<U>, U, V, i32, V) {}
fn main() {}
|