list: add "is_not_empty" requirement to "head" and "tail" (analogous to "vec")#1392
Merged
brson merged 2 commits intorust-lang:masterfrom Jan 3, 2012
kud1ing:list
Commits
Commits on Dec 29, 2011
- committed
Lenny222
Commits on Dec 30, 2011
- committedLenny222