about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
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
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-3/+3
2024-01-05Rollup merge of #119506 - compiler-errors:visibilities-for-object-safety-erro...Matthias Krüger-1/+4
2024-01-05Use `resolutions(()).effective_visiblities` to avoid cycle errorsMichael Goulet-1/+4
2024-01-04Silence redundant warning when E0038 will be emittedEsteban Küber-1/+21
2023-12-26Auto merge of #119129 - jyn514:verbose, r=compiler-errors,estebankbors-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-3/+3
2023-12-19rename to verbose-internalsjyn-1/+1
2023-12-14update use of feature flagslcnr-1/+1
2023-12-07add unused `NormalizesTo` predicatelcnr-44/+26
2023-11-26move comment about local traitRyan Mehri-1/+2
2023-11-26don't add redundant help for object safety violationsRyan Mehri-3/+9
2023-11-21Remove ClosureKind predicate kindMichael Goulet-3/+0
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+5
2023-11-13rename `ReLateBound` to `ReBound`lcnr-2/+2
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-1/+63
2023-10-22use visibility to check unused imports and delete some stmtsbohan-1/+0
2023-10-18Make sure that non-pretty-printing usages are using the correct elaboratorMichael Goulet-2/+2
2023-10-18Simplify transitive_bounds_that_define_assoc_itemMichael Goulet-33/+28
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-08-09Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.Nicholas Nethercote-1/+23
2023-08-02Remove constness from `TraitPredicate`Deadbeef-13/+2
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-12/+12