about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-03-21Strip placeholders from hidden types before remapping generic parameter in th...Oli Scherer-0/+5
2024-03-21Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obkbors-1/+1
2024-03-20Rollup merge of #122749 - aliemjay:region-err, r=compiler-errorsJacob Pratt-4/+0
2024-03-20make `type_flags(ReError) & HAS_ERROR`Ali MJ Al-Nasrawy-4/+0
2024-03-20Split item bounds and item super predicatesMichael Goulet-1/+1
2024-03-20Auto merge of #120717 - compiler-errors:cap-closure-kind, r=oli-obkbors-1/+1
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-1/+1
2024-03-19Auto merge of #116935 - oli-obk:different_lifetime_taits_in_same_sig, r=compi...bors-20/+89
2024-03-19Auto merge of #122735 - matthiaskrgr:rollup-pgb1s90, r=matthiaskrgrbors-13/+24
2024-03-19Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnrbors-6/+4
2024-03-19Fix incorrect mutable suggestion information for binding in ref pattern.surechen-13/+24
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-6/+4
2024-03-18Prevent opaque types being instantiated twice with different regions within t...Oli Scherer-20/+89
2024-03-17Move `suggest_hoisting_call_outside_loop` out of `suggest_cloning`Esteban Küber-6/+3
2024-03-17Move `Visitor` impl out to the `mod` levelEsteban Küber-22/+22
2024-03-17Point at `continue` and `break` that might be in the wrong placeEsteban Küber-33/+130
2024-03-17Detect when move of `!Copy` value occurs within `loop` and should likely not ...Esteban Küber-2/+160
2024-03-15Rollup merge of #122254 - estebank:issue-48677, r=oli-obkMatthias Krüger-15/+126
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-10/+4
2024-03-15Rollup merge of #122468 - beepster4096:borrowck_prefixes_cleanup, r=NadrierilGuillaume Gomez-88/+28
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-10/+4
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-3/+3
2024-03-13Account for UnOps in borrowck messageEsteban Küber-2/+14
2024-03-13Detect calls to `.clone()` on `T: !Clone` types on borrowck errorsEsteban Küber-7/+106
2024-03-13cleanup prefixes iteratorbeepster4096-88/+28
2024-03-12Remove unused fields in some structuresArthur Carcano-2/+0
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-1/+1
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-6/+3
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-3/+3
2024-03-09Drive-by fix string fmtEsteban Küber-6/+6
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+1
2024-03-08Stabilize associated type boundsMichael Goulet-1/+1
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-47/+30
2024-03-08Rollup merge of #122103 - compiler-errors:taits-capture-everything, r=oli-obkMatthias Krüger-8/+11
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-6/+8
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-8/+11
2024-03-06Add missing `#[rustc_lint_diagnostics]` attributes.Nicholas Nethercote-3/+11
2024-03-06Rewrite the `untranslatable_diagnostic` lint.Nicholas Nethercote-0/+5
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-47/+30
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-1/+1
2024-03-01Rollup merge of #120646 - clubby789:uninit-destructuring-sugg, r=michaelwoeri...Matthias Krüger-1/+6
2024-03-01Fallout from removing a_is_expectedMichael Goulet-6/+1
2024-03-01Remove a_is_expected from combine relationsMichael Goulet-1/+0
2024-03-01Get rid of some sub_exp and eq_expMichael Goulet-1/+0
2024-03-01Combine sub and eqMichael Goulet-7/+6
2024-02-29Make nll higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-54/+52
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-1/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-179/+124
2024-02-27Avoid a `span_delayed_bug` in `compute_regions`.Nicholas Nethercote-12/+13