summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-01-31Auto merge of #120346 - petrochenkov:ownodes, r=oli-obkbors-2/+2
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-35/+70
2024-01-30Rollup merge of #120342 - oli-obk:track_errors6, r=nnethercoteGuillaume Gomez-1/+2
2024-01-30hir: Remove `hir::Map::{owner,expect_owner}`Vadim Petrochenkov-2/+2
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-6/+6
2024-01-30Apply suggestions from reviewMichael Goulet-36/+22
2024-01-30Normalize caller boundsMichael Goulet-9/+30
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-8/+36
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-46/+46
2024-01-25Track ErrorGuaranteed instead of conjuring it from thin airOli Scherer-1/+2
2024-01-25Remove unused featuresclubby789-2/+0
2024-01-24Account for expected `dyn Trait` found `impl Trait`Esteban Küber-0/+20
2024-01-24On E0308 involving `dyn Trait`, mention trait objectsEsteban Küber-0/+49
2024-01-23Rollup merge of #120261 - estebank:issue-102629, r=wesleywiserLeón Orell Valerian Liehr-16/+102
2024-01-23Suggest boxing both arms of if expr if that solves divergent arms involving `...Esteban Küber-16/+70
2024-01-22Suggest boxing if then expr if that solves divergent armsEsteban Küber-0/+32
2024-01-22Make generic const type mismatches not hide trait impls from the trait solverOli Scherer-24/+10
2024-01-22Tweak error counting.Nicholas Nethercote-5/+6
2024-01-20Rollup merge of #119613 - gavinleroy:expose-obligations, r=lcnrMatthias Krüger-1/+24
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-1/+24
2024-01-18Rollup merge of #120021 - lcnr:const-var-value, r=compiler-errorsMatthias Krüger-146/+60
2024-01-17Auto merge of #119922 - nnethercote:fix-Diag-code-is_lint, r=oli-obkbors-2/+2
2024-01-16Auto merge of #119947 - compiler-errors:old-solver-instantiate-response, r=lcnrbors-4/+12
2024-01-16don't store const var origins for known varslcnr-146/+60
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-14/+14
2024-01-15Rollup merge of #119818 - oli-obk:even_more_follow_up_errors3, r=compiler-errorsMatthias Krüger-7/+0
2024-01-14Rework how diagnostic lints are stored.Nicholas Nethercote-2/+2
2024-01-13Make sure to instantiate placeholders correctly in old solverMichael Goulet-4/+12
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-14/+14
2024-01-12rename `reported_signature_mismatch` to reflect its uselcnr-3/+3
2024-01-11Keep error types around, even in obligations.Oli Scherer-7/+0
2024-01-11Rollup merge of #118915 - compiler-errors:alias-nits, r=lcnrMatthias Krüger-8/+7
2024-01-10Simplify some redundant namesMichael Goulet-8/+7
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-21/+14
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-6/+6
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-56/+27
2024-01-08Remove `DiagnosticBuilder::delay_as_bug_without_consuming`.Nicholas Nethercote-2/+2
2024-01-08Remove all eight `DiagnosticBuilder::*_with_code` methods.Nicholas Nethercote-9/+9
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-3/+2
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-3/+3
2024-01-05Rollup merge of #119506 - compiler-errors:visibilities-for-object-safety-erro...Matthias Krüger-1/+4
2024-01-05Rollup merge of #119538 - nnethercote:cleanup-errors-5, r=compiler-errorsMichael Goulet-24/+18
2024-01-05Rollup merge of #119148 - estebank:bare-traits, r=davidtwcoMichael Goulet-1/+21
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
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-24/+18
2024-01-01Minor improvements in comment forGurinder Singh-2/+2
2023-12-30Auto merge of #116012 - cjgillot:gvn-const, r=oli-obkbors-1/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-2/+2