summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2022-02-15Overhaul `Const`.Nicholas Nethercote-21/+24
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-3/+3
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-6/+50
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-26/+24
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-24/+43
2022-02-15Rename `Interned` as `InternedInSet`.Nicholas Nethercote-35/+36
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-1/+14
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-8/+3
2022-02-10Auto merge of #93511 - cjgillot:query-copy, r=oli-obkbors-8/+4
2022-02-09Use a slice for object_lifetime_defaults.Camille GILLOT-5/+1
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-4/+4
2022-02-09Auto merge of #93741 - Mark-Simulacrum:global-job-id, r=cjgillotbors-2/+2
2022-02-08Switch QueryJobId to a single global counterMark Rousskov-2/+2
2022-02-02Add backcompat hack to supportOli Scherer-3/+8
2022-01-31Auto merge of #93373 - spastorino:def_id_to_hir_id_refactor, r=oli-obkbors-2/+0
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-2/+2
2022-01-27Store def_id_to_hir_id as variant in hir_owner.Camille GILLOT-2/+0
2022-01-23Auto merge of #93066 - nnethercote:infallible-decoder, r=bjorn3bors-9/+36
2022-01-22Rollup merge of #93147 - nnethercote:interner-cleanups, r=lcnrMatthias Krüger-44/+52
2022-01-22Address review comments.Nicholas Nethercote-6/+7
2022-01-22Make `Decodable` and `Decoder` infallible.Nicholas Nethercote-9/+35
2022-01-21Clarify some code relating to interning and types.Nicholas Nethercote-24/+40
2022-01-21Auto merge of #93138 - matthiaskrgr:rollup-m8akifd, r=matthiaskrgrbors-2/+5
2022-01-21Make stability interning follow the usual pattern.Nicholas Nethercote-20/+12
2022-01-19Show a more informative panic message when `DefPathHash` does not existAaron Hill-2/+5
2022-01-18intra-doc linkslcnr-2/+2
2022-01-18change `ct_infer` to a delay_span_buglcnr-3/+17
2022-01-16Rollup merge of #92646 - mdibaiee:76935/pass-by-value, r=lcnrMatthias Krüger-0/+1
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-4/+3
2022-01-14Auto merge of #92681 - Aaron1011:task-deps-ref, r=cjgillotbors-3/+9
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-1/+1
2022-01-09feat: pass_by_value lint attributeMahdi Dibaiee-0/+1
2022-01-09rustc_middle: Rename `Export` to `ModChild` and add some commentsVadim Petrochenkov-1/+2
2022-01-08Introduce new `TaskDepsRef` enum to track allow/ignore/forbid statusAaron Hill-3/+9
2021-12-28rustc_metadata: Encode list of all crate's traits into metadataVadim Petrochenkov-0/+6
2021-12-20Auto merge of #91924 - Aaron1011:serialize-adt-def, r=michaelwoeristerbors-1/+4
2021-12-19Auto merge of #92099 - matthiaskrgr:rollup-4gwv67m, r=matthiaskrgrbors-3/+3
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-3/+3
2021-12-15Fully serialize AdtDefAaron Hill-1/+4
2021-12-15Remove `SymbolStr`.Nicholas Nethercote-2/+2
2021-12-10Use a more accurate `Span` for `'static` obligation from return typeEsteban Kuber-34/+2
2021-11-30re-format with new rustfmtMark Rousskov-1/+5
2021-11-28Remove eval_always for lib_features.Camille GILLOT-5/+0
2021-11-06Improve terminology around "after typeck"pierwill-2/+2
2021-10-20Build jump table at runtime.Camille GILLOT-1/+1
2021-10-20Merge two query callbacks arrays.Camille GILLOT-1/+8
2021-10-20Move def_path_hash_to_def_id to rustc_middle.Camille GILLOT-5/+21
2021-10-18Auto merge of #89124 - cjgillot:owner-info, r=michaelwoeristerbors-7/+3
2021-10-09Forbid hashing HIR outside of indexing.Camille GILLOT-6/+1
2021-10-09Store lowering outputs per owner.Camille GILLOT-1/+2