summaryrefslogtreecommitdiff
path: root/compiler/rustc_infer/src/infer/resolve.rs
Commit message (Expand)AuthorAgeFilesLines
* rename `needs_infer` to `has_infer`Boxy2023-04-271-2/+2
* resolve to universal regions when possibleAli MJ Al-Nasrawy2023-03-051-9/+6
* Remove type-traversal trait aliasesAlan Egerton2023-02-221-6/+3
* Add specialized variants of `mk_region`.Nicholas Nethercote2023-02-151-1/+1
* Remove `reuse_or_mk_region`.Nicholas Nethercote2023-02-151-1/+1
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-131-5/+5
* Make folding traits generic over the InternerAlan Egerton2023-02-131-3/+3
* Make visiting traits generic over the InternerAlan Egerton2023-02-131-1/+1
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-131-3/+6
* Inline `OpportunisticVarResolver::fold_ty`.Nicholas Nethercote2023-02-061-0/+1
* Put a `ShallowResolver` within `OpportunisticVarResolver`.Nicholas Nethercote2023-02-061-5/+7
* Stop using `BREAK` & `CONTINUE` in compilerScott McMurray2023-01-171-2/+2
* Do not record unresolved const vars in generator interiorMichael Goulet2022-11-261-28/+58
* mir constants: type traversing bye byelcnr2022-10-171-5/+0
* Remove TypeckResults from InferCtxtCameron Steffen2022-10-071-8/+8
* It's not about types or consts, but the lack of regionsOli Scherer2022-10-041-2/+2
* Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey2022-07-071-2/+2
* Update TypeVisitor pathsAlan Egerton2022-07-061-2/+3
* Reverse folder hierarchyAlan Egerton2022-06-211-4/+2
* Rename the `ConstS::val` field as `kind`.Nicholas Nethercote2022-06-141-1/+1
* Folding revamp.Nicholas Nethercote2022-06-081-1/+1
* Spellchecking compiler commentsYuri Astrakhan2022-03-301-1/+1
* Overhaul `Const`.Nicholas Nethercote2022-02-151-7/+4
* initial revertEllen2022-01-151-5/+0
* Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton2021-12-021-2/+2
* Reduce boilerplate around infallible foldersAlan Egerton2021-12-021-25/+21
* Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut2021-11-261-21/+7
* Unwrap the results of type foldersLeSeulArtichaut2021-11-261-1/+1
* Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut2021-11-261-24/+33
* make unevaluated const substs optionallcnr2021-08-261-2/+2
* require a `tcx` for `TypeVisitor`lcnr2021-08-261-0/+5
* Add a new normalization query just for mir constantsOli Scherer2021-03-311-0/+5
* Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors2020-11-171-7/+4
|\
| * Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut2020-11-141-6/+3
| * Introduce `TypeVisitor::BreakTy`LeSeulArtichaut2020-11-141-1/+1
* | compiler: fold by valueBastian Kauschke2020-11-161-1/+1
|/
* Remove implicit `Continue` typeLeSeulArtichaut2020-10-301-1/+1
* TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut2020-10-301-3/+5
* Change ty.kind to a methodLeSeulArtichaut2020-09-041-2/+2
* mv compiler to compiler/mark2020-08-301-0/+246
View Lorry Controller Status