tests/ui/associated-inherent-types/bugs/inference-fail.rs


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

// known-bug: unknown

#![feature(inherent_associated_types)]
#![allow(incomplete_features)]

struct S<T>(T);

impl S<()> {
    type P = i128;
}

fn main() {
    // We fail to infer `_ == ()` here.
    let _: S<_>::P;
}