Add rules for assert, fail, and deriving to vim syntax file. Also highlight the mod path in "use module;" properly.
Parse and typecheck (not kindcheck) bounds on trait paths.
Add tests for not-kind-checked trait bounds.
Check closure freevar kinds against destination environment bounds (#3569)
Add basic test cases for closure bounds. (#3569)
Allow ~fn:Copy() to be copied.
Check existential type contents against destination trait bounds.