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

   1 // build-pass
   2 #![allow(dead_code)]
   3 trait Inner {
   4     type T;
   5 }
   6
   7 impl<'a> Inner for &'a i32 {
   8     type T = i32;
   9 }
  10
  11 fn f<'a>(x: &'a i32) -> <&'a i32 as Inner>::T {
  12     *x
  13 }
  14
  15 fn main() {}