about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+9
2024-04-27Record certainty of evaluate_added_goals_and_make_canonical_response call in ...Michael Goulet-0/+9
2024-04-26Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errorsbors-0/+1
2024-04-25Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnrMichael Goulet-2/+7
2024-04-25Renamed DerivedObligation to WellFormedDeriveObligationMichael Goulet-2/+7
2024-04-25hir typeck: look into nested goalslcnr-0/+1
2024-04-25Check closure args and returns are WFMichael Goulet-1/+1
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-15/+16
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-3/+2
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-30/+1
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-10/+8
2024-04-05Fix typoWaffle Maybe-1/+1
2024-04-04normalizes-to change from '1' to '0 to inf' stepslcnr-10/+5
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-31Remove EvaluatedToErrStackDependentMichael Goulet-48/+4
2024-03-27Stop doing expensive work in opt_suggest_box_span eagerlyMichael Goulet-2/+4
2024-03-18cleanup + reviewlcnr-13/+4
2024-03-18`NormalizesTo` return nested goalslcnr-2/+21
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-0/+1
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-4/+4
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-6/+12
2024-03-08inspect formatter: add braceslcnr-17/+30
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-14/+6
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-10/+20
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-16/+1
2024-02-23remove repetitive wordscui fliter-1/+1
2024-02-20Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obkMatthias Krüger-3/+3
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-3/+3
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-15Remove a suggestion that is redundantMichael Goulet-1/+0
2024-02-15Only point out non-diverging arms for match suggestionsMichael Goulet-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-3/+4
2024-02-07improve pretty printing for trait objectsLukas Markeffsky-20/+34
2024-02-06Bless tests, add commentsMichael Goulet-1/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+7
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-0/+2
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+1
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-2/+2
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-5/+0
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-2/+2
2024-01-12Auto merge of #119879 - matthiaskrgr:rollup-y710der, r=matthiaskrgrbors-10/+4
2024-01-11`specialization_graph_of`'s `errored` field is used in the only call site, an...Oli Scherer-10/+4
2024-01-09readd the provisional cachelcnr-0/+4
2024-01-03Track `HirId` instead of `Span` in `ObligationCauseCode::SizedArgumentType`Esteban Küber-1/+1
2023-12-26Auto merge of #118431 - sjwang05:issue-44695, r=estebankbors-1/+18
2023-12-26Auto merge of #119129 - jyn514:verbose, r=compiler-errors,estebankbors-1/+1