about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2022-07-22Inline `Predicate::has_vars_bound_at_or_above`Tomasz Miąsko-0/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-3/+3
2022-07-07Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+1
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+67
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-3/+15
2022-06-19Move RegionKind to rustc_type_irJack Huey-24/+0
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-08Folding revamp.Nicholas Nethercote-124/+94
2022-06-08Add `try_fold_uenevaluted`.Nicholas Nethercote-10/+6
2022-06-08Remove `EarlyBinder::{try_fold_with,visit_with}`.Nicholas Nethercote-8/+0
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-2/+2
2022-05-13Add bound_fn_sigJack Huey-0/+21
2022-04-17Stop using CRATE_DEF_INDEX.Camille GILLOT-2/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-3/+3
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-1/+1
2022-02-24Auto merge of #94131 - Mark-Simulacrum:fmt-string, r=oli-obkbors-8/+14
2022-02-21optimize `TypeFoldable` for 2 element tupleslcnr-13/+0
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-8/+14
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-9/+9
2022-02-17Improve comments about type folding/visiting.Nicholas Nethercote-8/+11
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-9/+9
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