summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
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
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-20Rollup merge of #119071 - lcnr:overflowo, r=compiler-errorsMatthias Krüger-4/+31
2023-12-19rename to verbose-internalsjyn-1/+1
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-1/+1
2023-12-18dont discard overflow from normalizes-to goalslcnr-0/+3
2023-12-18track the source of nested goalslcnr-4/+28
2023-12-16Provide better suggestions for T == &T and &T == Tsjwang05-1/+18
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-4/+2
2023-12-14update use of feature flagslcnr-1/+1
2023-12-08Implement `async gen` blocksMichael Goulet-2/+6
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-10/+10
2023-11-27Auto merge of #117200 - rmehri01:repeated_help, r=WaffleLapkinbors-30/+65
2023-11-26don't add redundant help for object safety violationsRyan Mehri-30/+65
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-25Remove 3 more unused ObligationCauseCodesMichael Goulet-9/+0
2023-11-25Remove some more unused codepaths in (region) error reportingMichael Goulet-1/+2
2023-11-25Remove unused ObligationCauseCode::ProjectionWfMichael Goulet-3/+0
2023-11-25Rollup merge of #118199 - compiler-errors:qpath, r=lcnrGuillaume Gomez-1/+1
2023-11-25Remove HirId from QPath::LangItemMichael Goulet-1/+1
2023-11-23remove unused pub fnklensy-11/+0
2023-11-22Auto merge of #118152 - matthiaskrgr:rollup-bqcck4w, r=matthiaskrgrbors-4/+17
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-20Document DefiningAnchor a bit moreMichael Goulet-4/+17
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-0/+10
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-0/+10
2023-11-08Rollup merge of #113925 - clubby789:const-ctor-repeat, r=estebankMatthias Krüger-3/+23
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-1/+1
2023-11-02use global cache when computing proof treeslcnr-25/+41
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+4
2023-10-21Rollup merge of #106601 - estebank:match-semi, r=cjgillotMatthias Krüger-0/+1
2023-10-20s/generator/coroutine/Oli Scherer-3/+3
2023-10-20s/Generator/Coroutine/Oli Scherer-3/+3
2023-10-18Make sure that non-pretty-printing usages are using the correct elaboratorMichael Goulet-3/+4
2023-10-11Suggest `;` after bare `match` expression E0308Esteban Küber-0/+1
2023-09-23Check types live across yields in generators tooMichael Goulet-1/+3
2023-09-23Check that closure's by-value captures are sizedMichael Goulet-0/+2
2023-09-21Auto merge of #115897 - eduardosm:check-fn-sig, r=compiler-errorsbors-0/+3
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-9/+59