about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize/specialization_graph.rs
AgeCommit message (Expand)AuthorLines
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-5/+3
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-7/+0
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+2
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-7/+0
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-2/+2
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-0/+14
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-3/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-3/+3
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-3/+3
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-03-28fix few moreklensy-1/+1
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-1/+1
2024-02-29track overflowing goals for overfow errorslcnr-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-4/+4
2024-02-16Use extension trait deriveMichael Goulet-29/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-03-27Some tracing/instrument cleanupsOli Scherer-6/+3
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-19/+9
2023-03-13Better names?Michael Goulet-6/+6
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-6/+19
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-1/+1
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-1/+1
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-4/+5
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-6/+6
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-6/+6
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+49
2022-11-10Don't print full paths in overlap errorsMichael Goulet-38/+30
2022-10-13Make overlapping_impls non-genericCameron Steffen-27/+21
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-05-18fix `simplify_type`lcnr-6/+3
2022-02-21update docs for `simplify_type`lcnr-4/+9
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-1/+1
2022-02-14fast_reject: remove `StripReferences`lcnr-19/+4
2022-01-31Do not store overlap_mode, just pass it down on insertSantiago Pastorino-1/+3
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-2/+10
2021-12-16Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...Matthias Krüger-9/+9
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-9/+9
2021-12-14extend `simplify_type`lcnr-4/+19
2021-09-23Auto merge of #89016 - lcnr:non_blanket_impls, r=nikomatsakis,michaelwoeristerbors-4/+4
2021-09-21use indexmap instead of hashmaplcnr-1/+1