about summary refs log tree commit diff
path: root/src/test/compile-fail/unique-vec-res.rs
AgeCommit message (Collapse)AuthorLines
2011-11-18Update stdlib, compiler, and tests to new kind systemMarijn Haverbeke-6/+4
This involved adding 'copy' to more generics than I hoped, but an experiment with making it implicit showed that that way lies madness -- unless enforced, you will not remember to mark functions that don't copy as not requiring copyable kind. Issue #1177
2011-11-18Preparation for kind system overhaulMarijn Haverbeke-0/+1
This goes before a snapshot, so that subsequenct patches can make the transition without breaking the build. Disables kind checking pass, makes parser accept both new and old-style kind annotation. Issue #1177
2011-10-25Update our code to new type parameter kind syntaxMarijn Haverbeke-1/+1
Closes #1067
2011-09-28Make error patterns in some kind tests more specificBrian Anderson-1/+1
2011-09-27Don't ever raise unique kinds of pinned kinds to shared (again)Brian Anderson-2/+1
So *resource, ~resource, [resource] are all pinned. This is counter to the design of the kind system, but this way is a much clearer path to type safety. Once we've established a good baseline with lots of tests, then we can try to make raising pinned kinds work.
2011-09-27Add an xfailed test for bogus vector addition of typaramsBrian Anderson-0/+21