blob: a9f5dc98720fcf97a9a68ba80973a4de4863a760 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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));
}
|
