about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+0
2025-04-14Derive Obligation's fold implsMichael Goulet-1/+6
2025-03-23Obligation::as_goalMichael Goulet-6/+6
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-1/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-0/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+6
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+0
2024-06-11Get rid of PredicateObligationsMichael Goulet-2/+0
2024-06-03Nits and formattingMichael Goulet-1/+1
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-20/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-32/+2
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+1
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-2/+2
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-6/+10
2024-05-16Rename ToPredicate for UpcastMichael Goulet-10/+6
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-10More rename falloutMichael Goulet-1/+1
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-8/+8
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-0/+12
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-4/+6
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-0/+8
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-7/+6
2023-12-14update use of feature flagslcnr-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-1/+0
2023-08-09Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.Nicholas Nethercote-1/+23
2023-08-02Remove constness from `TraitPredicate`Deadbeef-7/+0
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-9/+0
2023-07-06Separate select calls that don't need a binderMichael Goulet-0/+1
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-3/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-16use matches! macro in more placesMatthias Krüger-4/+4
2023-04-10Report overflows gracefully with new solverMichael Goulet-1/+5
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-0/+10
2023-03-10Move some solver stuff to middleMichael Goulet-0/+6
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-1/+2
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-13/+16
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-0/+2
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+2
2022-09-16remap ParamEnv with obligationDeadbeef-0/+8
2022-05-10Remove `clone_code` methodOli Scherer-1/+1
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-1/+8
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 06:02:18 +0000