| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-08-14 | Moved compile-fail tests to ui tests. | David Wood | -18/+0 | |
| 2017-11-18 | fix compile-fail tests | Niko Matsakis | -2/+0 | |
| 2017-01-30 | Merge ty::TyBox into ty::TyAdt | Vadim Petrochenkov | -1/+1 | |
| 2016-05-02 | update test cases to reflect new messages | Niko Matsakis | -2/+2 | |
| 2015-01-12 | Fix testsuite errors | mdinger | -1/+5 | |
| 2015-01-07 | Test fixes and rebase conflicts | Alex Crichton | -0/+1 | |
| 2014-10-02 | tests: remove uses of Gc. | Eduard Burtescu | -3/+1 | |
| 2014-09-09 | Avoid ever constructing cyclic types in the first place, rather than ↵ | Niko Matsakis | -2/+2 | |
| detecting them in resolve. This simplifies logic elsewhere in the compiler. cc #5527 | ||||
| 2014-07-26 | Remove managed_box gate from tests | Brian Anderson | -1/+0 | |
| No longer does anything. | ||||
| 2014-06-14 | rustc: Obsolete the `@` syntax entirely | Alex Crichton | -1/+3 | |
| This removes all remnants of `@` pointers from rustc. Additionally, this removes the `GC` structure from the prelude as it seems odd exporting an experimental type in the prelude by default. Closes #14193 [breaking-change] | ||||
| 2014-03-28 | Convert most code to new inner attribute syntax. | Brian Anderson | -1/+1 | |
| Closes #2569 | ||||
| 2013-12-12 | Gate literal box expressions in addition to types | Alex Crichton | -0/+2 | |
| Closes #10920 | ||||
| 2012-12-10 | Reliciense makefiles and testsuite. Yup. | Graydon Hoare | -0/+10 | |
| 2012-06-30 | change the test suite `//! kind` syntax to `//~ kind` in order to avoid a | Gareth Daniel Smith | -1/+1 | |
| conflict with the new single-line-sugared-inner-doc-comment (`//! ...`). | ||||
| 2012-04-04 | wip: refactor repr of regions | Niko Matsakis | -1/+1 | |
| - we now distinguish bound/free parameters (see region-param test case for why this is necessary) - we also track bounds on region variables - also, restructure fold_ty() to have multiple variants without duplication instead of one overloaded folder. This also allows for using block functions. | ||||
| 2012-03-23 | Implement new inference algorithm. | Niko Matsakis | -2/+4 | |
| 2012-01-27 | Make occurs check in ty::fixup_vars more reliable | Marijn Haverbeke | -1/+1 | |
| It wouldn't detect cycles that went through several type vars before. Closes #1464 | ||||
| 2011-08-20 | Reformat | Brian Anderson | -4/+1 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-16 | Make let bindings' scope start at their definition | Marijn Haverbeke | -1/+2 | |
| Also, allow let bindings in a block to shadow each other. | ||||
| 2011-08-04 | Implement the occurs check | Tim Chevalier | -0/+4 | |
| In the writeback phase, the typechecker now checks that it isn't replacing a type variable T with a type that contains T. It also does an occurs check in do_autoderef in order to avoid getting into an infinite chain of derefs. I'm a bit worried that there are more places where the occurs check needs to happen where I'm not doing it now, though. Closes #768 | ||||
