summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fold.rs
AgeCommit message (Expand)AuthorLines
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
2022-06-10replace bound vars: make caching explicitlcnr-9/+6
2022-06-10`BoundVarReplacer` remove `Option`lcnr-45/+36
2022-06-08Folding revamp.Nicholas Nethercote-60/+72
2022-06-08Add `try_fold_uenevaluted`.Nicholas Nethercote-0/+14
2022-06-08Add `TypeVisitor::visit_mir_const`.Nicholas Nethercote-0/+4
2022-06-08Use `super_visit_with` in a couple of `visit_binder` methods.Nicholas Nethercote-1/+1
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-2/+2
2022-05-10Use lifetimes on type-alias-impl-trait used in function signatures to infer o...Oli Scherer-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-8/+8
2022-03-31Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errorsDylan DPC-0/+47
2022-03-30Add the generic_associated_types_extended featureJack Huey-0/+47
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-9/+5
2022-03-16rustc_error: make ErrorReported impossible to constructmark-0/+8
2022-02-17Improve comments about type folding/visiting.Nicholas Nethercote-69/+102
2022-02-15Overhaul `Const`.Nicholas Nethercote-33/+28
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-5/+5
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-3/+5
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-6/+10
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-10/+6
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-0/+16
2022-01-15initial revertEllen-224/+38
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-5/+5
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-7/+7
2021-12-02Update compiler/rustc_middle/src/ty/fold.rseggyal-0/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-70/+179
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-5/+5
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-39/+53
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-2/+2
2021-11-26Make `TypeFolder::fold_*` return `Result`LeSeulArtichaut-8/+19
2021-09-28More tracing instrumentationOli Scherer-16/+20
2021-08-26optimize `HasTypeFlagsVisitor`lcnr-33/+81
2021-08-26type flagslcnr-8/+9
2021-08-26reviewlcnr-7/+10