about summary refs log tree commit diff
path: root/src/test/compile-fail/occurs-check.rs
AgeCommit message (Collapse)AuthorLines
2018-08-14Moved compile-fail tests to ui tests.David Wood-18/+0
2017-11-18fix compile-fail testsNiko Matsakis-2/+0
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+1
2016-05-02update test cases to reflect new messagesNiko Matsakis-2/+2
2015-01-12Fix testsuite errorsmdinger-1/+5
2015-01-07Test fixes and rebase conflictsAlex Crichton-0/+1
2014-10-02tests: remove uses of Gc.Eduard Burtescu-3/+1
2014-09-09Avoid 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-26Remove managed_box gate from testsBrian Anderson-1/+0
No longer does anything.
2014-06-14rustc: Obsolete the `@` syntax entirelyAlex 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-28Convert most code to new inner attribute syntax.Brian Anderson-1/+1
Closes #2569
2013-12-12Gate literal box expressions in addition to typesAlex Crichton-0/+2
Closes #10920
2012-12-10Reliciense makefiles and testsuite. Yup.Graydon Hoare-0/+10
2012-06-30change the test suite `//! kind` syntax to `//~ kind` in order to avoid aGareth Daniel Smith-1/+1
conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).
2012-04-04wip: refactor repr of regionsNiko 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-23Implement new inference algorithm.Niko Matsakis-2/+4
2012-01-27Make occurs check in ty::fixup_vars more reliableMarijn Haverbeke-1/+1
It wouldn't detect cycles that went through several type vars before. Closes #1464
2011-08-20ReformatBrian 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-16Make let bindings' scope start at their definitionMarijn Haverbeke-1/+2
Also, allow let bindings in a block to shadow each other.
2011-08-04Implement the occurs checkTim 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