about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/resolve.rs
AgeCommit message (Expand)AuthorLines
2023-12-08cleanup type variable storagelcnr-1/+1
2023-11-24Move EagerResolution to rustc_infer::infer::resolveSantiago Pastorino-0/+82
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-2/+2
2023-04-27rename `needs_infer` to `has_infer`Boxy-2/+2
2023-03-05resolve to universal regions when possibleAli MJ Al-Nasrawy-9/+6
2023-02-22Remove type-traversal trait aliasesAlan Egerton-6/+3
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-15Remove `reuse_or_mk_region`.Nicholas Nethercote-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-5/+5
2023-02-13Make folding traits generic over the InternerAlan Egerton-3/+3
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-3/+6
2023-02-06Inline `OpportunisticVarResolver::fold_ty`.Nicholas Nethercote-0/+1
2023-02-06Put a `ShallowResolver` within `OpportunisticVarResolver`.Nicholas Nethercote-5/+7
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-2/+2
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-28/+58
2022-10-17mir constants: type traversing bye byelcnr-5/+0
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-8/+8
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-2/+2
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+3
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-7/+4
2022-01-15initial revertEllen-5/+0
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-25/+21
2021-11-26Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut-21/+7
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-24/+33
2021-08-26make unevaluated const substs optionallcnr-2/+2
2021-08-26require a `tcx` for `TypeVisitor`lcnr-0/+5
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+5
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-7/+4
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-11-14Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut-6/+3
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-1/+1
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-3/+5
2020-09-04Change ty.kind to a methodLeSeulArtichaut-2/+2
2020-08-30mv compiler to compiler/mark-0/+246
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 14:47:06 +0000