about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fold.rs
AgeCommit message (Expand)AuthorLines
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
2021-08-26don't just compare `ty::Const`lcnr-0/+40
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-21/+82
2021-08-26make unevaluated const substs optionallcnr-13/+22
2021-08-26require a `tcx` for `TypeVisitor`lcnr-8/+38
2021-07-03Remove `ty::Binder::bind()`Yuki Okushi-82/+0
2021-04-08Fix outdated crate names in compiler docspierwill-1/+1
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+5
2021-03-31Fmt and test revertJack Huey-6/+8
2021-03-31Fix new problem from rebase and a little cleanupJack Huey-7/+8
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-22/+141
2021-03-31Track bound varsJack Huey-51/+100
2021-03-31Add tcx lifetime to BinderJack Huey-17/+42
2021-03-31count bound varsJack Huey-0/+48
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+5
2021-03-15Make functions passed to BoundVarReplacer be optionalJack Huey-55/+53
2021-02-26Miscellaneous inlining improvementsTomasz Miąsko-0/+7
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-33/+24
2020-12-05remove redundant clonesMatthias Krüger-1/+1
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-46/+64
2020-11-16compiler: fold by valueBastian Kauschke-22/+18
2020-11-15Remove dead `TypeFoldable::visit_tys_shallow` methodLeSeulArtichaut-14/+0
2020-11-14Set the default `BreakTy` to `!`LeSeulArtichaut-1/+4
2020-11-14Use `TypeVisitor::BreakTy` in `HasEscapingVarsVisitor`LeSeulArtichaut-4/+11
2020-11-14Use `TypeVisitor::BreakTy` in `HasTypeFlagsVisitor`LeSeulArtichaut-5/+22
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-24/+29
2020-10-30Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obkbors-47/+70
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-33/+27
2020-10-30Use `ControlFlow::is{break,continue}`LeSeulArtichaut-6/+4
2020-10-30TypeVisitor: use `std::ops::ControlFlow` instead of `bool`LeSeulArtichaut-46/+77
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-15 02:41:01 +0000