blob: 5c9ad9498b6de056920e30dad9fc782d5cfb2de9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// check-pass
#![feature(type_alias_impl_trait)]
trait Trait {}
type Opaque<T> = impl Sized;
fn foo<T>() -> Opaque<T> {
()
}
impl<T, V> Trait for (T, V, V, u32) {}
impl<U, V> Trait for (Opaque<U>, V, i32, V) {}
fn main() {}
|