about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2025-08-19Rollup merge of #142079 - lcnr:opaque-types-universes, r=BoxyUwU许杰友 Jieyou Xu (Joe)-2/+7
2025-08-19Rollup merge of #145041 - lcnr:borrowck-limitations-error, r=BoxyUwUStuart Cook-14/+73
2025-08-18comment style changesDeadbeef-35/+34
2025-08-18nll-relate: improve hr opaque types supportlcnr-2/+7
2025-08-17refactor return type of `suggest_ampmut` into an enumDeadbeef-171/+178
2025-08-16overhaul `&mut` suggestions in borrowck errorsDeadbeef-323/+360
2025-08-15Auto merge of #142071 - lcnr:revealing-use, r=compiler-errorsbors-1/+12
2025-08-14Adjust error message grammar to be less awkwardJake Goulding-1/+1
2025-08-14it's not a borrow checker limitation :<lcnr-1/+1
2025-08-14add commentlcnr-1/+6
2025-08-13Cleanup assoc parent utilsCameron Steffen-5/+3
2025-08-13rework `add_placeholder_from_predicate_note`lcnr-9/+49
2025-08-13also consider HR boundslcnr-3/+17
2025-08-13avoid duplicate error stringlcnr-1/+1
2025-08-11Rollup merge of #145111 - fee1-dead-contrib:push-rlvnyrztlkpq, r=jieyouxuGuillaume Gomez-16/+0
2025-08-11remove `from_forall`lcnr-18/+15
2025-08-10review commentsEsteban Küber-5/+7
2025-08-10Add support for method callsEsteban Küber-33/+41
2025-08-10Point at the `Fn()` or `FnMut()` bound that coerced a closure, which caused a...Esteban Küber-1/+39
2025-08-10Rollup merge of #145191 - dianne:fix-borrow-suggestion-args, r=compiler-errorsStuart Cook-7/+22
2025-08-10Rollup merge of #143093 - lqd:polonius-pre-alpha, r=jackh726Stuart Cook-201/+31
2025-08-09`suggest_borrow_generic_arg`: use the correct generic argsdianne-7/+22
2025-08-09Rollup merge of #145115 - lcnr:less-borrowck-tainting, r=compiler-errorsStuart Cook-64/+87
2025-08-09Rollup merge of #144988 - amandasystems:more-detailed-region-graph, r=lcnrStuart Cook-6/+21
2025-08-08borrowck: defer opaque type errorslcnr-47/+70
2025-08-08borrowck: move error tainting earlierlcnr-17/+17
2025-08-09remove some unused private trait implsDeadbeef-16/+0
2025-08-08turn expensive assert into debug assertionRémy Rakic-2/+3
2025-08-08simplify polonius=nextRémy Rakic-199/+28
2025-08-08apply_member_constraints: fix placeholder checklcnr-1/+12
2025-08-07move `type_check` out of `compute_regions`lcnr-38/+53
2025-08-06Rollup merge of #144917 - compiler-errors:tail-call-linked-lifetimes, r=lcnrGuillaume Gomez-56/+54
2025-08-06Track names of existentialsAmanda Stjerna-6/+7
2025-08-06Proposed formatAmanda Stjerna-3/+3
2025-08-06Add annotations to the graphviz region graph on region originsAmanda Stjerna-1/+15
2025-08-04Don't actually pass BB to check_call_destMichael Goulet-60/+54
2025-08-04Enforce tail call type is related to body return type in borrowckMichael Goulet-3/+7
2025-08-03Rename `Printer` variables.Nicholas Nethercote-8/+8
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-2/+2
2025-08-02Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=AmanieuSamuel Tardieu-1/+1
2025-08-01Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnrbors-1/+0
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-20/+19
2025-07-31Remove the witness type from coroutine argsMichael Goulet-1/+0
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-20/+19
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-2/+2
2025-07-30Rollup merge of #144666 - compiler-errors:correct-late, r=lqdStuart Cook-6/+21
2025-07-30Make sure to account for the right item universal regions in borrowckMichael Goulet-6/+21
2025-07-29Create two methods to fix `find_oldest_ancestor_in_same_ctxt`xizheyin-1/+1
2025-07-28Rename impl_of_method -> impl_of_assocCameron Steffen-4/+4