summary refs log tree commit diff
path: root/src/test/compile-fail
AgeCommit message (Expand)AuthorLines
2012-04-23Allow classes to be cast to ifaces that are in the same crateTim Chevalier-2/+50
2012-04-23Various regions fixes.Niko Matsakis-0/+22
2012-04-23Guard against infinitely expanding generic/inline functionsMarijn Haverbeke-0/+30
2012-04-23Emit a more useful error when using an unsuitable function for a loopMarijn Haverbeke-1/+5
2012-04-23Move map iface over to more `for`-friendly iteration methodsMarijn Haverbeke-1/+1
2012-04-21syntax: Eliminate 'mutable' keyword. Closes #2254Brian Anderson-3/+3
2012-04-20Print out return type correctly in typestate error messageTim Chevalier-0/+5
2012-04-19update syntax to include a slashNiko Matsakis-10/+10
2012-04-19make nominal types optionally parameterized by a self region.Niko Matsakis-2/+103
2012-04-19correct universally_quantify to use structure_of, and introduce a test for thisNiko Matsakis-9/+11
2012-04-19Add a lint pass to check for while true { ... } loopsTim Chevalier-0/+8
2012-04-19Disallow rebinding / matching against consts in altsTim Chevalier-0/+14
2012-04-18syntax: Put the main parser interface in mod parseBrian Anderson-3/+3
2012-04-17new debug flag, new testNiko Matsakis-0/+41
2012-04-17repair LUB/GLB of free/scope regions, and enable testNiko Matsakis-6/+4
2012-04-16rewrite region resolution so it takes place in typeckNiko Matsakis-0/+13
2012-04-15Forbid deinitializing upvars in typestateTim Chevalier-0/+7
2012-04-14implement evec/estr subtyping/lub/glb/etcNiko Matsakis-0/+60
2012-04-13first stab at type checking for borrow: not integrated into transNiko Matsakis-6/+14
2012-04-12Add a run-fail test for result::get, get rid of a FIXME. Also some random oth...Tim Chevalier-0/+34
2012-04-12Support general warnings and errors in lint pass via flags and attrs. Close #...Graydon Hoare-1/+20
2012-04-11test: Add compile-fail test for shadowing in-scope enumsBrian Anderson-0/+5
2012-04-11first attempt at an assignability checkNiko Matsakis-4/+3
2012-04-11Allow classes to implement ifacesTim Chevalier-0/+31
2012-04-07test: Add test for mismatched nominal types when using multiple crate versBrian Anderson-0/+12
2012-04-07Do not consider ty_bot to be a "resolved type".Niko Matsakis-0/+42
2012-04-06Remove support for old-style forMarijn Haverbeke-6/+2
2012-04-06Convert old-style for loops to new-styleMarijn Haverbeke-3/+3
2012-04-06test: Refactor the crateresolve testsBrian Anderson-9/+23
2012-04-06rustc: Fail when there are multiple matches for 'use'Brian Anderson-0/+9
2012-04-06Make tps invariant for now. Fixes #1973.Niko Matsakis-0/+68
2012-04-06improve error messagesNiko Matsakis-6/+33
2012-04-05add static region and also fix regions to be contravariantNiko Matsakis-0/+19
2012-04-05simplify typing rule for vector addition: use mutability of LHSNiko Matsakis-0/+89
2012-04-05new tests for things we'll have to fix eventuallyNiko Matsakis-0/+23
2012-04-04wip: refactor repr of regionsNiko Matsakis-1/+1
2012-04-04Make nonconstructable enums noncopyable, close #1907.Graydon Hoare-0/+8
2012-04-04rustc: Don't allow recursive constantsBrian Anderson-0/+6
2012-03-29generate correct constraints for assignmentsNiko Matsakis-0/+5
2012-03-29resolve type variables with no constraints to botNiko Matsakis-2/+0
2012-03-29Require "self" as base expression for intra-class method or field referencesTim Chevalier-11/+11
2012-03-28Allow explicit self-calls within classesTim Chevalier-1/+1
2012-03-28use fresh vars in place of _|_ when incorrect # of params suppliedNiko Matsakis-0/+12
2012-03-28Detect and report types which could never be instantiated.Niko Matsakis-0/+30
2012-03-28Test case to make sure typestate checks the body of class constructorsTim Chevalier-0/+23
2012-03-27Enforce mutability declarations in classes; correct shapes for classesTim Chevalier-0/+34
2012-03-26Bulk-edit mutable -> mut.Graydon Hoare-43/+43
2012-03-26In typeck, don't call ty::store_iface_methods on private methodsTim Chevalier-1/+21
2012-03-26Improve type inference to compute LUB/GLBNiko Matsakis-6/+9
2012-03-26Remove stray commentTim Chevalier-9/+0