about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
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
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-2/+2
2024-04-16Add simple async drop glue generationzetanumbers-1/+42
2024-04-15Remove TypeVariableOriginKindMichael Goulet-2/+2
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-2/+8
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-06Auto merge of #123471 - compiler-errors:match_projection_projections, r=oli-obkbors-0/+3
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-2/+2
2024-04-04Check def id before calling match_projection_projectionsMichael Goulet-0/+3
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 22:19:17 +0000