summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2022-04-24Backport fixes -- drop uses of NodeIdHashingModeMark Rousskov-6/+2
2022-03-31Merge impl_constness and is_const_fn_raw.Camille GILLOT-0/+11
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-2/+2
2022-03-30Auto merge of #95436 - cjgillot:static-mut, r=oli-obkbors-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-30rework implementation for inherent impls for builtin typeslcnr-0/+3
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+1
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-7/+0
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-0/+32
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-1/+19
2022-03-25Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakisbors-0/+7
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-1/+2
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-0/+1
2022-03-20Extract ImplSubject informationSantiago Pastorino-0/+6
2022-03-17Add comments on PolaritySantiago Pastorino-0/+7
2022-03-12Queryify `is_doc_hidden`Noah Lev-9/+1
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