src/test/ui/issues/issue-37109.rs

   1 // run-pass
   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)
  12 }
  13
  14 fn main() {
  15     example(&0);
  16 }