tests/ui/associated-inherent-types/bugs/lack-of-regionck.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// known-bug: unknown
// check-pass

// We currently don't region-check inherent associated type projections at all.

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

struct S<T>(T);

impl S<&'static ()> {
    type T = ();
}

fn usr<'a>() {
    let _: S::<&'a ()>::T; // this should *fail* but it doesn't!
}

fn main() {}