about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/freshen.rs
AgeCommit message (Expand)AuthorLines
2025-06-28Do not freshen ReErrorMichael Goulet-5/+4
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-15Squash fold into tyMichael Goulet-2/+3
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2024-10-24Remove associated type based effects logicMichael Goulet-9/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+4
2024-06-21Rename a bunch of thingsMichael Goulet-2/+2
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-4/+3
2024-06-01Simplify IntVarValue/FloatVarValueMichael Goulet-11/+15
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-02-22freshen: resolve root varslcnr-67/+69
2024-02-05cleanup effect var handlinglcnr-7/+2
2024-01-16don't store const var origins for known varslcnr-8/+2
2024-01-01Minor improvements in comment forGurinder Singh-2/+2
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-3/+3
2023-09-10Implement fallback for effect paramDeadbeef-0/+15
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-03-22stop special-casing `'static` in evaluatelcnr-14/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-3/+3
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-11/+6
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-0/+1
2023-02-06Split and inline `TypeFreshener::fold_ty`.Nicholas Nethercote-68/+61
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-3/+2
2022-11-28Remove `tcx.mk_const_var`Maybe Waffle-1/+1
2022-11-25Add empty ConstKind::Abstractkadmin-0/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-09-08Remove ReEmptyJack Huey-1/+0
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-06-08Avoid some unnecessary `return`s.Nicholas Nethercote-10/+3
2022-04-01remove `unify_key::replace_if_possible`lcnr-7/+3
2022-02-15Overhaul `Const`.Nicholas Nethercote-6/+6
2022-01-15initial revertEllen-1/+1
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-22/+19
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-2/+2
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-17/+20
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 15:08:38 +0000