diff --git a/src/libcore/pipes.rs b/src/libcore/pipes.rs index 33ee3cc52fb8..e56bb4561896 100644 --- a/src/libcore/pipes.rs +++ b/src/libcore/pipes.rs @@ -624,6 +624,10 @@ trait selectable { pure fn header() -> *packet_header; } +impl of selectable for *packet_header { + pure fn header() -> *packet_header { self } +} + /// Returns the index of an endpoint that is ready to receive. fn selecti(endpoints: &[T]) -> uint { wait_many(endpoints.map(|p| p.header()))