2018-08-30 07:18:55 -05:00
|
|
|
// run-pass
|
2017-02-28 17:30:41 -06:00
|
|
|
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));
|
|
|
|
|
}
|
