about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
2025-06-26Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnrMichael Goulet-1/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+0
2025-06-25Compute hard errors without diagnostics in impl_intersection_has_impossible_o...Michael Goulet-1/+2
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+1
2025-04-14Derive Obligation's fold implsMichael Goulet-32/+7
2025-03-23Obligation::as_goalMichael Goulet-6/+6
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-08Rustfmtbjorn3-10/+13
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-3/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+2
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-1/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-8/+10
2024-10-08Improve formatting of some comments.Nicholas Nethercote-30/+23
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-16/+13
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-1/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-25/+20
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-204/+0
2024-07-21Move some stuff to TypeErrCtxtMichael Goulet-4/+4
2024-07-18Revert "sort suggestions for object diagnostic"Michael Goulet-2/+1
2024-07-07Uplift elaborationMichael Goulet-345/+4
2024-07-06Rollup merge of #127386 - compiler-errors:uplift-outlives-components, r=lcnrMichael Goulet-1/+1
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-1/+1
2024-07-05Split out transitive_bounds_that_define_assoc_itemMichael Goulet-14/+25
2024-07-05Supertrait elaboration doesn't need to use PredicatesMichael Goulet-5/+5
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-4/+4
2024-06-27Make queries more explicitMichael Goulet-4/+4
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-4/+4
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-2/+1
2024-06-11Get rid of PredicateObligationsMichael Goulet-2/+0
2024-06-03Nits and formattingMichael Goulet-7/+28
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-41/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-43/+16
2024-06-03Remove unnecessary extension traitMichael Goulet-21/+17
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-2/+2
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-1/+1
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-6/+10
2024-05-16Make P parameter explicitMichael Goulet-3/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-17/+13
2024-05-13Apply nitsMichael Goulet-5/+8
2024-05-13split out AliasTy -> AliasTermMichael Goulet-12/+8
2024-05-10More rename falloutMichael Goulet-2/+2
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-8/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 10:36:50 +0000