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

   1 // run-pass
   2 trait Stream { type Item; }
   3 impl<'a> Stream for &'a str { type Item = u8; }
   4 fn f<'s>(s: &'s str) -> (&'s str, <&'s str as Stream>::Item) {
   5     (s, 42)
   6 }
   7
   8 fn main() {
   9     let fx = f as for<'t> fn(&'t str) -> (&'t str, <&'t str as Stream>::Item);
  10     assert_eq!(fx("hi"), ("hi", 42));
  11 }