On Nov 8, 2011, at 10:53 AM, Graydon Hoare wrote: > On 04/11/2011 5:32 AM, Marijn Haverbeke wrote: >> Generic types (type<T> and tag<T>) do not seem to have a reason to >> ever narrow their kind bounds in this system, so (unless I am missing >> something), they should probably not even be allowed to specify a kind >> on their parameters. > > Agreed.
Unless it's changed from when I left, ports and chans are defined as generic types, and here I think it still makes sense to narrow their type parameter to only things that can be sent. It's a minor detail though, as we can just leave those kind annotations on all of the functions to operate on ports and chans and get basically the same result. -Eric _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
