summaryrefslogtreecommitdiff
path: root/compiler/rustc_typeck/src/check/regionck.rs
Commit message (Expand)AuthorAgeFilesLines
* Revert "small regions refactoring"revert-98576-region-stuff-cool-beanslcnr2022-06-291-0/+1
* outside of borrowck, do not provide an implicit_region_boundlcnr2022-06-271-1/+0
* Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey2022-06-131-6/+7
* Auto merge of #97081 - oli-obk:outlives_query_fast_path, r=jackh726bors2022-06-071-3/+1
|\
| * Some tracing cleanupsOli Scherer2022-05-161-3/+1
* | Fully stabilize NLLJack Huey2022-06-031-2/+2
* | factor out the rvalue lifetime ruleDing Xiang Fei2022-05-221-5/+0
|/
* fix most compiler/ doctestsElliot Roberts2022-05-021-1/+1
* use `format-args-capture` and remove unnecessary nested blockTakayuki Maeda2022-04-151-13/+5
* Enforce well formedness for type alias impl trait's hidden typeOli Scherer2022-03-311-1/+1
* Overhaul `RegionKind` and `Region`.Nicholas Nethercote2022-02-151-1/+1
* Replace NestedVisitorMap with NestedFilterCameron Steffen2022-01-161-7/+1
* Remove region from UpvarCapture and move it to CapturedPlaceGary Guo2022-01-071-2/+2
* Remove span from UpvarCapture::ByValueGary Guo2022-01-071-1/+1
* Remove in_band_lifetimesPFPoitras2021-12-131-2/+2
* Rename functions reflect that inline const is also "typeck_child"Gary Guo2021-11-071-4/+4
* Implement type inference for inline constsGary Guo2021-11-071-0/+28
* Auto merge of #89970 - jackh726:gats_diagnostics, r=nikomatsakisbors2021-11-061-1/+1
|\
| * Change outlives clause checking algorithmjackh7262021-10-161-1/+1
* | Remove dead code.Oli Scherer2021-10-281-3/+0
* | Auto merge of #89229 - oli-obk:i_love_inferctxt, r=jackh726bors2021-10-181-1/+1
|\ \ | |/ |/|
| * simplify constrain_opaque_typesNiko Matsakis2021-10-151-1/+1
* | Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh7262021-10-151-3/+48
|/
* clippy::complexity fixesMatthias Krüger2021-10-081-1/+1
* Fix clippy lintsGuillaume Gomez2021-10-011-14/+14
* Use FxHashSet instead of Vec for well formed tysjackh7262021-09-091-9/+5
* Treat types in unnormalized function signatures as well-formedjackh7262021-08-261-1/+10
* Move opaque type cache into `InferCtxt`Oli Scherer2021-08-061-4/+1
* Replace closures_captures and upvar_capture with closure_min_capturesJennifer Wills2021-03-181-12/+30
* Do not store attrs in FnKind.Camille GILLOT2021-03-091-1/+1
* remove unused return types such as empty Results or Options that would always...Matthias Krüger2020-12-301-2/+2
* use matches!() macro in more placesMatthias Krüger2020-12-241-4/+1
* compiler: fold by valueBastian Kauschke2020-11-161-1/+1
* Implement destructuring assignment for tuplesFabian Zaiser2020-11-071-1/+1
* Change ty.kind to a methodLeSeulArtichaut2020-09-041-3/+3
* mv compiler to compiler/mark2020-08-301-0/+818