about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fold.rs
AgeCommit message (Expand)AuthorLines
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
2022-10-14more dupe word typosRageking8-2/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-10/+16
2022-09-22introduce mir::Unevaluatedb-naber-4/+22
2022-09-17Auto merge of #101857 - lcnr:make-dyn-again, r=jackh726bors-17/+13
2022-09-15change `FnMutDelegate` to trait objectslcnr-17/+13
2022-09-14address review againb-naber-0/+11
2022-09-01tracing::instrument cleanupOli Scherer-1/+1
2022-07-29optimize bound vars replacement :3lcnr-18/+22
2022-07-28anonymize all bound vars, not just regionslcnr-6/+51
2022-07-28`BoundVarReplacer`: trait object instead of 3 fnslcnr-66/+68
2022-07-14eagerly check for bound vars of predicateslcnr-0/+4
2022-07-14remove `ct.has_vars_bound_at_or_above` callslcnr-2/+1
2022-07-05Split TypeVisitable from TypeFoldableAlan Egerton-733/+35
2022-06-27fold_region: remove unused parameterlcnr-6/+2
2022-06-21Remove unecessary references to TypeFolder::ErrorAlan Egerton-21/+15
2022-06-21Reverse folder hierarchyAlan Egerton-30/+19
2022-06-20`try_fold_unevaluated` for infallible foldersAlan Egerton-0/+7
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-7/+7
2022-06-10don't always cache bound ltslcnr-9/+18