about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-24/+23
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-1/+2
2024-02-10Remove unnecessary `min_specialization` after bootstrapZalathar-1/+1
2024-02-09Rollup merge of #120828 - nnethercote:fix-stash-steal, r=oli-obkMatthias Krüger-19/+25
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+2
2024-02-09Fix `ErrorGuaranteed` unsoundness with stash/steal.Nicholas Nethercote-19/+25
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-7/+5
2024-02-08sort suggestions for object diagnosticMichael Goulet-1/+2
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-74/+106
2024-02-08reviews + rebaseBoxy-57/+49
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-7/+24
2024-02-08introduce `enter_forall`Boxy-34/+57
2024-02-08Rollup merge of #120734 - nnethercote:SubdiagnosticMessageOp, r=compiler-errorsMatthias Krüger-42/+12
2024-02-08Add `SubdiagnosticMessageOp` as a trait alias.Nicholas Nethercote-42/+12
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-4/+3
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-38/+64
2024-02-06Rollup merge of #120670 - lcnr:effect-var-storage, r=fee1-deadMatthias Krüger-52/+29
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-8/+41
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+2
2024-02-05cleanup effect var handlinglcnr-52/+29
2024-02-02Remove dead args from functionsMichael Goulet-7/+5
2024-02-03`Diagnostic` cleanupsNicholas Nethercote-2/+2
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-23/+37
2024-02-02Don't hang when there's an infinite loop of outlives obligationsMichael Goulet-1/+7
2024-02-02Do process_registered_region_obligations in a loopMichael Goulet-16/+22
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