about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
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
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-11/+29
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-18/+17
2024-06-13LangItem-ify Coroutine trait in solversMichael Goulet-4/+5
2024-06-05Basic removal of `Ty` from places (boring)Boxy-15/+5
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-1/+1
2024-05-29Add lang item for AsyncFnKindHelper::UpvarsMichael Goulet-16/+4
2024-05-29Add lang item for Future::OutputMichael Goulet-14/+2
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-1/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-68/+87
2024-05-13Apply nitsMichael Goulet-3/+3
2024-05-13split out AliasTy -> AliasTermMichael Goulet-66/+85
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-12/+2
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-15/+26
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-15/+26
2024-05-10Name tweaksMichael Goulet-4/+4
2024-05-10More rename falloutMichael Goulet-2/+2
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-5/+5
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-7/+8
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-5/+1
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-1/+42
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-6/+7
2024-04-19Let inherent associated types constrain opaque types during projectionOli Scherer-1/+1