about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2024-03-27Stop doing expensive work in opt_suggest_box_span eagerlyMichael Goulet-83/+12
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-1/+2
2024-03-24Rollup merge of #122217 - estebank:issue-119685, r=fmeaseMatthias Krüger-19/+10
2024-03-23Rollup merge of #122780 - GuillaumeGomez:rename-hir-local, r=oli-obkMatthias Krüger-6/+7
2024-03-22Rename `hir::Node::Local` into `hir::Node::LetStmt`Guillaume Gomez-1/+2
2024-03-22Rename `hir::Local` into `hir::LetStmt`Guillaume Gomez-6/+6
2024-03-22Use != Positive rather than == NegativeMichael Goulet-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-4/+4
2024-03-22Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoeristerbors-9/+12
2024-03-21Stop sorting via `DefId`s in region resolutionOli Scherer-9/+12
2024-03-21Rollup merge of #122799 - estebank:issue-122569, r=fee1-deadMatthias Krüger-31/+46
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-17review comment: `str` -> string in messagesEsteban Küber-1/+1
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-10Rollup merge of #121860 - mu001999:master, r=NilstriebMatthias Krüger-8/+0
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