summaryrefslogtreecommitdiffstats
path: root/tests/ui/compare-method/proj-outlives-region.rs
blob: 969bc566d3837b2947cab5867a2475085a67a5b5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// Test that we elaborate `Type: 'region` constraints and infer various important things.

trait Master<'a, T: ?Sized, U> {
    fn foo() where T: 'a;
}

// `U::Item: 'a` does not imply that `U: 'a`
impl<'a, U: Iterator> Master<'a, U::Item, U> for () {
    fn foo() where U: 'a { } //~ ERROR E0276
}

fn main() {
    println!("Hello, world!");
}