about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/resolve.rs
AgeCommit message (Expand)AuthorLines
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-2/+4
2024-10-24Remove associated type based effects logicMichael Goulet-3/+0
2024-10-08Remove unnecessary `return` keyword.Nicholas Nethercote-1/+1
2024-10-07Remove out-of-date comment.Nicholas Nethercote-2/+0
2024-10-07Fix `FIXME` comment on `FixupError`.Nicholas Nethercote-5/+7
2024-10-01add caches to multiple type folderslcnr-3/+11
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
2024-06-21Rename a bunch of thingsMichael Goulet-4/+4
2024-06-03Fix ICE caused by ignoring EffectVars in type inferenceAndrew Wock-0/+3
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-81/+0
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-8/+6
2024-02-05cleanup effect var handlinglcnr-5/+4
2024-01-16don't store const var origins for known varslcnr-88/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 06:29:10 +0000