about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
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
2025-07-03Rollup merge of #143038 - Qelxiros:142676-private-dependency-traits, r=tgross35Jana Dönszelmann-1/+1
2025-07-02avoid suggesting traits from private dependenciesJeremy Smart-1/+1
2025-07-02Do not depend on FOREVER_RED_NODE.Camille GILLOT-6/+4
2025-07-01Update `cfg(bootstrap)`Josh Stone-2/+1
2025-06-27Port `#[rustc_layout_scalar_valid_range_start/end]` to the new attribute pars...Jonathan Brouwer-26/+4
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-8/+0
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-8/+0
2025-06-26Rollup merge of #141311 - folkertdev:tidy-natural-sort, r=jieyouxuMatthias Krüger-1/+1
2025-06-25make `tidy-alphabetical` use a natural sortFolkert de Vries-1/+1