Builtin bounds for closures and traits, take 2#7314

Merged

bors merged 9 commits intorust-lang:masterfrom

bblum:trait-bounds2

Jun 24, 2013

Commits on Jun 23, 2013

Add rules for assert, fail, and deriving to vim syntax file. Also highlight the mod path in "use module;" properly.
bblum
committed
Fix error messages in test cases, since fns/traits now pretty-print with a bounds list
bblum
committed
Parse and typecheck (not kindcheck) bounds on trait paths.
bblum
committed
Add tests for not-kind-checked trait bounds.
bblum
committed
Check closure freevar kinds against destination environment bounds (#3569)
bblum
committed
Add basic test cases for closure bounds. (#3569)
bblum
committed
Allow ~fn:Copy() to be copied.
bblum
committed
Check existential type contents against destination trait bounds.
bblum
committed
Fix pretty-printing builtin bounds on closures and traits
bblum
committed