[rustc.git] / src / test / ui / issues / issue-37109.rs

// run-pass
trait ToRef<'a> {
    type Ref: 'a;
}

impl<'a, U: 'a> ToRef<'a> for U {
    type Ref = &'a U;
}

fn example<'a, T>(value: &'a T) -> (<T as ToRef<'a>>::Ref, u32) {
    (value, 0)
}

fn main() {
    example(&0);
}
Commit	Line	Data
b7449926	1	// run-pass
9e0c209e SL	2	trait ToRef<'a> {
	3	type Ref: 'a;
	4	}
	5
	6	impl<'a, U: 'a> ToRef<'a> for U {
	7	type Ref = &'a U;
	8	}
	9
	10	fn example<'a, T>(value: &'a T) -> (<T as ToRef<'a>>::Ref, u32) {
	11	(value, 0)
54a0048b	12	}
223e47cc	13
970d7e83	14	fn main() {
9e0c209e	15	example(&0);
223e47cc	16	}