about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-0/+1
2025-08-13Cleanup assoc parent utilsCameron Steffen-1/+1
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-11/+10
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-15/+19
2025-05-22Return correct error term kind on projection errorsBoxy-4/+25
2025-05-01Set groundwork for proper const normalizationBoxy-70/+100
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-1/+1
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-41/+0
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-118/+122
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-4/+5
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-15/+1
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-45/+59
2025-04-03add `TypingMode::Borrowck`lcnr-0/+1
2025-03-18Remove existing AFIDT implementationMichael Goulet-57/+1
2025-03-16Suppress must_use in compiler and toolsMichael Goulet-1/+1
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-27Delete tuple unsizingAlice Ryhl-4/+2
2025-02-08Rustfmtbjorn3-43/+53
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-2/+2
2025-01-17new solver: prefer trivial builtin impls over where-clausesRémy Rakic-2/+2
2025-01-14fix ICE with references to infinite structs in constsLukas Markeffsky-3/+4
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-29/+34
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+5
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-12-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-1/+57
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-2/+2
2024-12-10Implement projection and shim for AFIDTMichael Goulet-1/+57
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-25/+1
2024-11-28support revealing defined opaque post borrowcklcnr-1/+3
2024-11-23no more Reveal :(lcnr-2/+1
2024-10-31traits::project: yeet `ParamEnv::reveal`lcnr-13/+16
2024-10-29TypingMode :thinking:lcnr-29/+7
2024-10-27Remove ObligationCause::span() methodMichael Goulet-2/+2
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-30/+6
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-30/+33
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-58/+48
2024-09-11clippy::useless_conversionMichael Goulet-2/+2
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-0/+8
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-0/+8
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-2/+2
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-24/+14
2024-07-24Don't ICE when auto trait has assoc ty in old solverMichael Goulet-0/+6