about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/freshen.rs
AgeCommit message (Expand)AuthorLines
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
2021-07-21Improve caching during trait evaluationAaron Hill-3/+11
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+258
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 21:36:47 +0000