summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2022-02-17Improve comments about type folding/visiting.Nicholas Nethercote-8/+11
2022-02-15Overhaul `Const`.Nicholas Nethercote-8/+8
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-0/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-6/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+6
2022-01-17Add term to ExistentialProjectionkadmin-1/+1
2022-01-17Use Term in ProjectionPredicatekadmin-4/+14
2022-01-17Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieubors-1/+0
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-12/+48
2022-01-15initial revertEllen-62/+12
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-1/+0
2022-01-07Remove region from UpvarCapture and move it to CapturedPlaceGary Guo-6/+0
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-10/+10
2021-12-13Avoid cloning refcounted types during foldingAlan Egerton-6/+67
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-1/+1
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+1
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-30/+30
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-77/+161
2021-11-29Add constness to ParamEnvOli Scherer-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-6/+6
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-81/+81
2021-10-28implement type-changing-struct-updateSparrowLii-0/+1
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-3/+7
2021-09-22Support `#[track_caller]` on closures and generatorsAaron Hill-5/+5
2021-08-27Add `ty::BoundConstness`Deadbeef-3/+3
2021-08-26shrink `ty::PredicateKind` againlcnr-0/+25
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+4
2021-08-26don't just compare `ty::Const`lcnr-0/+4
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-0/+4
2021-08-26make unevaluated const substs optionallcnr-8/+23
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+9
2021-08-13move Constness into TraitPredicateDeadbeef-10/+8
2021-04-08Use more accurate spans for trait/impl method arg divergenceEsteban Küber-0/+2
2021-03-31Track bound varsJack Huey-2/+4
2021-03-31Add tcx lifetime to BinderJack Huey-5/+9
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-3/+7
2021-01-18Move a few more types to `rustc_type_ir`LeSeulArtichaut-58/+1
2021-01-16More review commentsJack Huey-2/+2
2021-01-16Review changesJack Huey-35/+35
2021-01-16CleanupJack Huey-3/+3
2021-01-16fold_with not super_fold_with in TypeFoldable impl for PredicateJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-17/+0
2021-01-16Intermediate formatting and suchJack Huey-2/+2
2021-01-16Remove PredicateKind::AtomJack Huey-2/+0
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-4/+4
2020-12-11Move binder for dyn to each list itemJack Huey-2/+2
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-27/+27
2020-11-16wordslcnr-46/+14
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 20:16:19 +0000