blob: ebc19d7cc83506a0f55c7434deba53b59c74260b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Check that lifetime bounds get checked the right way around with NLL enabled.
//run-pass
#![feature(nll)]
trait Visitor<'d> {
type Value;
}
impl<'a, 'd: 'a> Visitor<'d> for &'a () {
type Value = ();
}
fn visit_seq<'d: 'a, 'a>() -> <&'a () as Visitor<'d>>::Value {}
fn main() {}
|
