summary refs log tree commit diff
path: root/src/test/compile-fail
AgeCommit message (Expand)AuthorLines
2012-05-24new liveness pass to supercede last_use / initednessNiko Matsakis-146/+482
2012-05-24fix classes and parameterized ifaces; remove needless self checkNiko Matsakis-6/+0
2012-05-24change region scope of call arguments, old one was unsoundNiko Matsakis-4/+28
2012-05-23Prevent capturing non-copyable things in closures.Eric Holk-0/+37
2012-05-23shuffle error messages in borrowck, and prevent it from spewing too manyNiko Matsakis-49/+49
2012-05-23Resources are once again not copyable.Eric Holk-0/+16
2012-05-23new testNiko Matsakis-0/+33
2012-05-23modify borrowck to allow arbitrary borrows in pure scopesNiko Matsakis-39/+84
2012-05-22Send is no longer a subkind of copy. This allows for sendable, but non-copyab...Eric Holk-33/+0
2012-05-21Region checking: this one currently passes, but only "by accident".Lindsey Kuper-0/+21
2012-05-21detect and report shadows in nested bindingsNiko Matsakis-0/+5
2012-05-19fix up handling of &x where x is an arg or &self (for now at least).Niko Matsakis-0/+50
2012-05-18Make extracting syntax extension arguments easier.Paul Stansifer-3/+3
2012-05-17Test that a class type name gets printed correctly in a...Tim Chevalier-0/+14
2012-05-16add xfail-fast directives for borrowck testsNiko Matsakis-0/+13
2012-05-16correct preservation of explicit borrows like "let x = &*y;"Niko Matsakis-0/+35
2012-05-15rename testNiko Matsakis-0/+0
2012-05-15check if the type of a local variable contains illegal regionNiko Matsakis-3/+14
2012-05-15move regionck into typeck, in the process fixing a bug or twoNiko Matsakis-0/+8
2012-05-15Remove `be` keyword.Lindsey Kuper-21/+2
2012-05-14Enforce that self doesn't escape from a classTim Chevalier-0/+6
2012-05-11new test for loaning out an indexNiko Matsakis-0/+36
2012-05-11move purity checking into borrowck, addresses #1422Niko Matsakis-3/+21
2012-05-11three new tests for assigning to various unassignable thingsNiko Matsakis-0/+19
2012-05-10replace mutbl pass with borrowckNiko Matsakis-32/+102
2012-05-10Remove `do ... while` loops from the tests and docs.Paul Stansifer-23/+8
2012-05-09implement new borrow ck (disabled by default)Niko Matsakis-36/+426
2012-05-09reduce self type to a special type parameterNiko Matsakis-4/+25
2012-05-08Support visibility modifiers and attributes on view itemsMarijn Haverbeke-17/+1
2012-05-07Add xfailed test case for #2354Tim Chevalier-0/+18
2012-05-07make it illegal to implicitly capture mutable variablesNiko Matsakis-15/+98
2012-05-04Add test case that checks that class members must be prefixed with "self"Tim Chevalier-0/+15
2012-05-04new cap clause syntaxNiko Matsakis-4/+10
2012-05-03Revert "allow fn exprs to omit arg types"Niko Matsakis-19/+1
2012-05-03allow fn exprs to omit arg typesNiko Matsakis-1/+19
2012-05-03Check early on in typeck that types being implemented are actually iface typesTim Chevalier-0/+13
2012-05-03Mention missing constructor when complaining about inexhaustive top-level pat...Marijn Haverbeke-0/+3
2012-05-02report ambig impl methodsNiko Matsakis-0/+10
2012-05-02Error message reformatting, close #2309.Graydon Hoare-1/+1
2012-04-30Stop inferring bot/static when types/regions are unconstrained.Niko Matsakis-17/+65
2012-04-27new, simpler approach to the iter libraryNiko Matsakis-0/+17
2012-04-27parser: More refactoring of restricted value name checkingBrian Anderson-4/+4
2012-04-27test: Add test for two restricted keyword casesBrian Anderson-0/+12
2012-04-26Add check for path-statements, close #400.Graydon Hoare-0/+6
2012-04-26Lowercase warning message.Graydon Hoare-1/+1
2012-04-25lots of work to make iface/impls parameterized by regionsNiko Matsakis-0/+132
2012-04-25Rewrite exhaustiveness checkerMarijn Haverbeke-7/+17
2012-04-24syntax: Make 'true' and 'false' bad wordsBrian Anderson-0/+4
2012-04-24rustc: Fix type_need_unwind_cleanup. Closes #2272Brian Anderson-9/+0
2012-04-24build: Don't require full target libs to run compiletest testsBrian Anderson-14/+12