summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-27901.rs
blob: ffd90b689839b29a6e12082e77c47d1683cd719d (plain)
1
2
3
4
5
6
7
8
9
10
11
// 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));
}