nikomatsakis/rust-redex — pull request #13 by anasazi (2014-06-09 23:16:29+00:00)
Title: Lifetime Parameter Variance

- Declare variance of lifetime parameters in structs
- Handle variance of lifetime parameters in subtyping
- Check struct declarations for coherent variance