tests/ui/associated-inherent-types/regionck-1.rs


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

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

struct U;

impl U {
    // Don't imply any bounds here.

    type NoTyOutliv<'a, T> = &'a T; //~ ERROR the parameter type `T` may not live long enough
    type NoReOutliv<'a, 'b> = &'a &'b (); //~ ERROR reference has a longer lifetime than the data it references
}

fn main() {}