about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-03-21Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obkbors-10/+13
2024-03-21Auto merge of #121587 - ShoyuVanilla:fix-issue-121267, r=TaKO8Kibors-16/+56
2024-03-21Fix bad span for explicit lifetime suggestionShoyu Vanilla-16/+56
2024-03-20Rollup merge of #122749 - aliemjay:region-err, r=compiler-errorsJacob Pratt-3/+0
2024-03-21Replace closures with `_` when suggesting fully qualified path for method callEsteban Küber-31/+46
2024-03-20register opaques that reference errorsAli MJ Al-Nasrawy-3/+0
2024-03-20Split item bounds and item super predicatesMichael Goulet-10/+13
2024-03-20Auto merge of #122754 - Mark-Simulacrum:bootstrap-bump, r=albertlarsan68bors-1/+0
2024-03-20step cfgsMark Rousskov-1/+0
2024-03-20Rollup merge of #122540 - WaffleLapkin:ununexpected, r=estebankMatthias Krüger-2/+3
2024-03-19Auto merge of #122735 - matthiaskrgr:rollup-pgb1s90, r=matthiaskrgrbors-1/+1
2024-03-19Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnrbors-4/+4
2024-03-19The AssocOpaqueTy HIR node is not actually needed to differentiate from other...Oli Scherer-1/+1
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-1/+1
2024-03-18rename `instantiate_canonical_with_fresh_inference_vars`Boxy-4/+4
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-7/+4
2024-03-17Use shorter span for existing `'` -> `"` structured suggestionEsteban Küber-18/+9
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-21/+19
2024-03-15Use `do yeet ()` and `do yeet _` instead of `None?` and `Err(_)?` in compilerMaybe Waffle-2/+3
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-21/+19
2024-03-14Rollup merge of #122487 - GuillaumeGomez:rename-stmtkind-local, r=oli-obkMatthias Krüger-3/+3
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-3/+3
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-0/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-8/+4
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-60/+6
2024-03-11Rename `AddToDiagnostic` as `Subdiagnostic`.Nicholas Nethercote-38/+38
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-20/+20
2024-03-08Stabilize associated type boundsMichael Goulet-1/+1
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-94/+85
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-1/+1
2024-03-07Rollup merge of #122142 - lcnr:rustc_infer-cleanup, r=compiler-errorsGuillaume Gomez-148/+139
2024-03-07cleanup importslcnr-25/+21
2024-03-07move snapshot handling into modlcnr-117/+120
2024-03-07move mod into folderlcnr-0/+0
2024-03-07remove empty folderlcnr-8/+0
2024-03-07Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=...Guillaume Gomez-1/+1
2024-03-07improve debug loggingLukas Markeffsky-1/+1
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-1/+18
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-2/+13
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-94/+85
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-50/+22
2024-03-05Stop using Bubble in coherence and instead emulate it with an intercrate checkOli Scherer-2/+13
2024-03-05Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`.Nicholas Nethercote-14/+12
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-5/+5
2024-03-02Auto merge of #121864 - compiler-errors:type-relating-variances, r=aliemjaybors-1/+21
2024-03-01Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ...Matthias Krüger-6/+10
2024-03-01Rollup merge of #121153 - chenyukang:yukang-fix-105431-type-mismatch, r=estebankMatthias Krüger-0/+97
2024-03-01Don't grab variances if we're invariantMichael Goulet-1/+21
2024-03-01Rollup merge of #121416 - veera-sivarajan:bugfix-120785, r=nnethercoteMatthias Krüger-4/+17