summary refs log tree commit diff
path: root/src/test/run-pass/expr-alt-generic-unique2.rs
AgeCommit message (Collapse)AuthorLines
2012-02-15Rewrite exhaustiveness checkerMarijn Haverbeke-1/+1
Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive.
2012-02-11make bind syntax unnecessary: just use _ for one of the argumentsNiko Matsakis-1/+1
2012-01-05Switch to new param kind bound syntaxMarijn Haverbeke-1/+1
And remove support for the old syntax
2012-01-02Add 'copy' bounds to functions that were faultily accepted withoutMarijn Haverbeke-1/+1
Issue #1390
2011-10-25Update our code to new type parameter kind syntaxMarijn Haverbeke-1/+1
Closes #1067
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-1/+1
2011-10-07Add pass-by-ref annotation to the tests to make them typecheckMarijn Haverbeke-1/+1
Issue #1008
2011-09-26Enforce copy restrictions on let initializersBrian Anderson-1/+1
2011-09-23Create a bunch of test cases for unique boxes by copying box testsBrian Anderson-0/+18
XFAIL the ones that don't work Issue #409