tests/ui/associated-inherent-types/bugs/wf-check-skipped.rs


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

// known-bug: #100041
// check-pass

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

// FIXME(inherent_associated_types): This should fail.

struct Foo;

impl Foo {
    type Bar<T> = ();
}

fn main() -> Foo::Bar::<Vec<[u32]>> {}