Skip to content

Commit

Permalink
edit history
Browse files Browse the repository at this point in the history
  • Loading branch information
arielb1 committed Apr 27, 2016
1 parent c7ec60e commit 8b00af6
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions text/1214-projections-lifetimes-and-wf.md
Original file line number Diff line number Diff line change
Expand Up @@ -1106,6 +1106,11 @@ then `R ⊢ P': 'a`. Proceed by induction and by cases over the form of `P`:
in a type outlive `'a`, then the type outlives `'a`. Follows by
inspection of the outlives rules.

# Edit History

[RFC1592] - amend to require that tuple fields be sized

[crater-errors]: https://gist.github.com/nikomatsakis/2f851e2accfa7ba2830d#root-regressions-sorted-by-rank
[crater-all]: https://gist.github.com/nikomatsakis/364fae49de18268680f2#root-regressions-sorted-by-rank
[#21953]: https://github.com/rust-lang/rust/issues/21953
[RFC1592]: https://github.com/rust-lang/rfcs/pull/1592

0 comments on commit 8b00af6

Please sign in to comment.