about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2022-02-28Auto merge of #94299 - oli-obk:stable_hash_ty, r=michaelwoeristerbors-4/+29
2022-02-25"Reset" the hashing context before stable hashing the typesOli Scherer-2/+6
2022-02-25Switch bootstrap cfgsMark Rousskov-2/+2
2022-02-24Don't cache stable hashes in types outside of incremental modeOli Scherer-2/+14
2022-02-24Try out caching the stable hash of Ty within itselfOli Scherer-3/+12
2022-02-15Overhaul `Const`.Nicholas Nethercote-7/+9
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-29/+28
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-57/+29
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-19/+1
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-1/+19
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+19
2022-02-02Auto merge of #93312 - pierwill:map-all-local-trait-impls, r=cjgillotbors-3/+2
2022-02-01Auto merge of #93285 - JulianKnodt:const_eq_2, r=oli-obkbors-0/+3
2022-01-27Continue work on assoc const eqkadmin-0/+3
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-2/+9
2022-01-26add note suggesting that predicate is satisfied but is not constMichael Goulet-0/+9
2022-01-25Return an indexmap in `all_local_trait_impls` querypierwill-3/+2
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-0/+19
2022-01-23rustc_lint: Reuse the set of registered tools from resolverVadim Petrochenkov-0/+3
2022-01-22Rollup merge of #93147 - nnethercote:interner-cleanups, r=lcnrMatthias Krüger-0/+17
2022-01-21Clarify some code relating to interning and types.Nicholas Nethercote-0/+17
2022-01-17Add term to ExistentialProjectionkadmin-1/+1
2022-01-17Update term for use in more placeskadmin-4/+4
2022-01-17Use Term in ProjectionPredicatekadmin-23/+28
2022-01-17Add termkadmin-0/+1
2022-01-17add eq constraints on associated constantskadmin-0/+19
2022-01-16Rollup merge of #92646 - mdibaiee:76935/pass-by-value, r=lcnrMatthias Krüger-0/+1
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-1/+1
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-3/+2
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-1/+1
2022-01-15initial revertEllen-2/+2
2022-01-13Auto merge of #89861 - nbdd0121:closure, r=wesleywiserbors-2/+2
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-9/+20
2022-01-09Compute most of Public/Exported access level in rustc_resolveLamb-0/+2
2022-01-09feat: pass_by_value lint attributeMahdi Dibaiee-0/+1
2022-01-09rustc_middle: Rename `Export` to `ModChild` and add some commentsVadim Petrochenkov-2/+2
2022-01-07Remove region from UpvarCapture and move it to CapturedPlaceGary Guo-2/+2
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-1/+1
2021-12-21Fix bad caching of `~const Drop` boundsDeadbeef-0/+9
2021-12-20Auto merge of #91924 - Aaron1011:serialize-adt-def, r=michaelwoeristerbors-3/+3
2021-12-19Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obkMatthias Krüger-2/+2
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-2/+2
2021-12-15Fully serialize AdtDefAaron Hill-3/+3
2021-12-14Minor cleanupChase Wilson-3/+3
2021-12-14Added -Z layout_seed for allowing user-defined randomization seedsChase Wilson-1/+8
2021-12-12Small performance tweaksDeadbeef-0/+4
2021-12-12Remap more env constness for queriesDeadbeef-0/+4
2021-12-12Query modifierDeadbeef-0/+6
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-53/+77
2021-12-12Fix #91489Deadbeef-0/+5