about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-07-08Consolidate region error reporting in rustc_inferMichael Goulet-7/+5
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-8/+8
2024-07-08Rollup merge of #120248 - WaffleLapkin:bonk-ptr-object-casts, r=compiler-erro...Matthias Krüger-1/+66
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-5/+30
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-5/+30
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-4/+5
2024-07-05Equate types instead of using `Unsize`Maybe Lapkin-37/+28
2024-07-05Use `ControlFlow` results for visitors that are only looking for a single valueOli Scherer-38/+23
2024-07-04Auto merge of #127326 - matthiaskrgr:rollup-kz7vd3w, r=matthiaskrgrbors-27/+27
2024-07-04Properly normalize types in bck when checking pointer castsMaybe Lapkin-2/+5
2024-07-04Remove unhelpful comments and add helpful onesMaybe Lapkin-0/+4
2024-07-04Align the changes to the lang decisionMaybe Lapkin-8/+29
2024-07-04Add more checks for pointers with vtable metaMaybe Waffle-1/+47
2024-07-04Auto merge of #127170 - bjorn3:no_specialize_index_borrowck, r=michaelwoeristerbors-3/+26
2024-07-04More accurate mutability suggestionEsteban Küber-11/+14
2024-07-04Fix `&mut` removal suggestionEsteban Küber-2/+2
2024-07-04Better span for "make binding mutable" suggestionEsteban Küber-14/+11
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-2/+2
2024-07-03Auto merge of #123720 - amandasystems:dyn-enable-refactor, r=nikomatsakisbors-73/+137
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-2/+2
2024-07-01Add description for why this PR was madeAmanda Stjerna-3/+25
2024-07-01Code review: rename the method `min_universe()`Amanda Stjerna-7/+9
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-68/+108
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-160/+186
2024-06-30Remove usage of specialization from rustc_borrowckbjorn3-3/+26
2024-06-29fix: prefer `(*p).clone` to `p.clone` if the `p` is a raw pointerLin Yihai-9/+44
2024-06-27Rename `'cx` to `'infcx`Oli Scherer-90/+90
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-5/+10
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-24/+45
2024-06-26Restrict diagnostic context lifetime of mir borrowck to InferCtxt instead of ...Oli Scherer-75/+75
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-50/+50
2024-06-25Rollup merge of #126884 - estebank:issue-125634, r=NadrierilMatthias Krüger-2/+4
2024-06-24Separate the mir body lifetime from the other lifetimesOli Scherer-61/+70
2024-06-24Separate the lifetimes of the `BorrowckInferCtxt` from the other borrowed itemsOli Scherer-39/+41
2024-06-24Do not ICE when suggesting dereferencing closure argEsteban Küber-2/+4
2024-06-24Auto merge of #126023 - amandasystems:you-dropped-this-again, r=nikomatsakisbors-51/+57
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-263/+167
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-7/+7
2024-06-18Use a more precise lifetimeOli Scherer-4/+4
2024-06-17Rollup merge of #126567 - compiler-errors:instance-kind, r=oli-obk,lcnrMatthias Krüger-2/+2
2024-06-17Rollup merge of #126570 - nnethercote:fix-126385, r=lcnrGuillaume Gomez-3/+1
2024-06-17Rollup merge of #126226 - gurry:125325-improve-closure-arg-sugg, r=oli-obkGuillaume Gomez-44/+69
2024-06-17Convert a `span_bug` to a `span_delayed_bug`.Nicholas Nethercote-3/+1
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-2/+2
2024-06-15Rollup merge of #126508 - beepster4096:minor_borrowck_cherrypick, r=compiler-...Guillaume Gomez-4/+4
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-4/+4
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-31/+21
2024-06-14make uninitialized_error_reported a set of localsbeepster4096-4/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-15/+13