about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2025-10-04Rollup merge of #147251 - jackh726:global-cache-non-concurrent-change, r=lcnrMatthias Krüger-2/+3
2025-10-03Do not assert that a change in global cache only happens when concurrentjackh726-2/+3
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-4/+43
2025-09-30Split Bound into Canonical and Boundjackh726-4/+43
2025-09-27Rollup merge of #147075 - Lysxia:no-panic-def-path-hash, r=petrochenkovMatthias Krüger-1/+1
2025-09-26Make `def_path_hash_to_def_id` not panic when passed an invalid hashLi-yao Xia-1/+1
2025-09-26predefined opaques to `method_autoderef_steps`lcnr-1/+10
2025-09-26predefined opaques use `List`lcnr-6/+4
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-16/+10
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-1/+5
2025-09-08fixup limit handling codeJana Dönszelmann-1/+2
2025-09-08Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnrMatthias Krüger-1/+27
2025-09-04Don't require next-solver `ProbeRef` to be `Copy`Chayim Refael Friedman-2/+2
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+27
2025-08-29cleanup proof tree implementation and add cachelcnr-2/+13
2025-08-29Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnrbors-22/+48
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-22/+48
2025-08-24Support lints in early attribute parsingJana Dönszelmann-0/+2
2025-08-21next-solver fix const_trait_impl bootstraplcnr-2/+5
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-5/+2
2025-08-03Rollup merge of #144822 - Zalathar:hash-owner-nodes, r=compiler-errorsSamuel Tardieu-1/+1
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-1/+1
2025-08-02Return a struct with named fields from `hash_owner_nodes`Zalathar-1/+1
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-2/+2
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+1
2025-07-27Auto merge of #144434 - nnethercote:preintern-ty-bounds, r=compiler-errorsbors-7/+28
2025-07-25Pre-intern some `TyKind::Bound` values.Nicholas Nethercote-0/+21
2025-07-25Tweak bound region pre-interning.Nicholas Nethercote-7/+7
2025-07-24Rollup merge of #144094 - saethlin:codegen-the-main-fn, r=petrochenkovLeón Orell Valerian Liehr-0/+14
2025-07-24Rollup merge of #143374 - cjgillot:bare-extern-crate-map, r=petrochenkovLeón Orell Valerian Liehr-2/+5
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-2/+6
2025-07-22Unquerify extern_mod_stmt_cnum.Camille GILLOT-2/+5
2025-07-21Ensure we codegen and don't internalize the entrypointBen Kimock-0/+14
2025-07-20Unquerify maybe_unused_trait_imports.Camille GILLOT-2/+0
2025-07-18Auto merge of #143845 - cjgillot:stability-query, r=jieyouxubors-5/+1
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-0/+16
2025-07-17Retire stability_index query.Camille GILLOT-5/+1
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-11/+7
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-5/+5
2025-07-15Deduce outlives obligations from WF of coroutine interior typesMichael Goulet-0/+11
2025-07-15Add outlives to CoroutineWitnessTypesMichael Goulet-0/+5
2025-07-15Implement other logicstiif-0/+1
2025-07-15Add the core logic in old and new solverstiif-0/+7
2025-07-05Auto merge of #139598 - compiler-errors:no-bound-var-symbol, r=WaffleLapkinbors-4/+1
2025-07-05Rollup merge of #143372 - cjgillot:bare-glob-map, r=petrochenkovMatthias Krüger-4/+0
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-4/+1
2025-07-04Reuse metadata file from work products.Camille GILLOT-0/+4
2025-07-04Remove names_imported_by_glob_use query.Camille GILLOT-4/+0
2025-07-04Auto merge of #143247 - cjgillot:metadata-no-red, r=petrochenkovbors-6/+4