summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
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
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-7/+9
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-12/+12
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-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-2/+3
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-22Use != Positive rather than == NegativeMichael Goulet-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
2024-03-07move snapshot handling into modlcnr-1/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-6/+10
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-3/+3
2024-02-16NitsMichael Goulet-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-12/+2
2024-02-12Dejargnonize substShoyu Vanilla-1/+2
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-2/+2
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-2/+2
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-1/+2
2024-02-08sort suggestions for object diagnosticMichael Goulet-1/+2
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-2/+1
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-1/+1
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-14/+14