blob: c9b302b96919fef3c818c780a4e6a9cc9ff2396d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
// run-pass
// Test references to the trait `Stream` in the bounds for associated
// types defined on `Stream`. Issue #20551.
trait Stream {
type Car;
type Cdr: Stream;
fn car(&self) -> Self::Car;
fn cdr(self) -> Self::Cdr;
}
impl Stream for () {
type Car = ();
type Cdr = ();
fn car(&self) -> () { () }
fn cdr(self) -> () { self }
}
impl<T,U> Stream for (T, U)
where T : Clone, U : Stream
{
type Car = T;
type Cdr = U;
fn car(&self) -> T { self.0.clone() }
fn cdr(self) -> U { self.1 }
}
fn main() {
let p = (22, (44, (66, ())));
assert_eq!(p.car(), 22);
let p = p.cdr();
assert_eq!(p.car(), 44);
let p = p.cdr();
assert_eq!(p.car(), 66);
}
|