blob: e94d683315903c9c84babf8089a367717896e79b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// check-pass
#![feature(inherent_associated_types)]
#![allow(incomplete_features)]
struct S<T>(T);
impl<T> S<T> {
type P = T;
}
impl<T> S<(T,)> {
type Un = T;
}
fn main() {
// Regression test for issue #104240.
type A = S<()>::P;
let _: A = ();
// Regression test for issue #107468.
let _: S<(i32,)>::Un = 0i32;
}
|