about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fold.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-9/+15
2025-05-26add additional `TypeFlags` fast pathslcnr-0/+4
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-2/+2
2025-03-15Squash fold into tyMichael Goulet-7/+6
2025-02-08Rustfmtbjorn3-14/+19
2024-12-18introduce `LateParamRegionKind`lcnr-1/+2
2024-11-28uplift fold_regions to rustc_type_irlcnr-81/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-10-02reviewlcnr-8/+9
2024-10-01add caches to multiple type folderslcnr-2/+23
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-20/+15
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-06-21Rename a bunch of thingsMichael Goulet-3/+3
2024-06-05Basic removal of `Ty` from places (boring)Boxy-11/+9
2024-05-26Uplift EarlyBinderMichael Goulet-101/+3
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-4/+2
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2023-11-17rename bound region instantiationlcnr-6/+6
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-16/+14
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+7
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-3/+3
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-6/+7
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+2
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-3/+1
2023-04-06Remove index from BrAnonJack Huey-3/+1
2023-03-20drive-by: Fix a comment in TyCtxt::fold_regions and remove an unused methodMichael Goulet-14/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-29/+20
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-11/+7
2023-02-15Remove `reuse_or_mk_region`.Nicholas Nethercote-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-4/+4
2023-02-13Move folding and visiting traits into type libraryAlan Egerton-239/+3
2023-02-13Make folding traits generic over the InternerAlan Egerton-49/+79
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-5/+8
2023-02-13Move folding & visiting traits to ir submodulesAlan Egerton-130/+142
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-6/+3
2023-02-03Make const/fn return params more suggestableMichael Goulet-1/+1
2023-01-30Track bound types like bound regionsMichael Goulet-1/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-12-14always use anonymize_bound_varsMichael Goulet-30/+0
2022-11-26simplify some binder shifting logicMichael Goulet-23/+24
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-3/+5
2022-11-04Refactor tcx mk_const parameters.Mateusz-9/+3
2022-10-19stop folding `UnevaluatedConst`lcnr-21/+0
2022-10-17mir constants: type traversing bye byelcnr-40/+0