// run-pass | |
trait Stream { type Item; } | |
impl<'a> Stream for &'a str { type Item = u8; } | |
fn f<'s>(s: &'s str) -> (&'s str, <&'s str as Stream>::Item) { | |
(s, 42) | |
} | |
fn main() { | |
let fx = f as for<'t> fn(&'t str) -> (&'t str, <&'t str as Stream>::Item); | |
assert_eq!(fx("hi"), ("hi", 42)); | |
} |