about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2025-09-12Introduce trait_item_ofCameron Steffen-1/+1
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-5/+7
2025-09-06identity uses are ok, even if there are no defining useslcnr-1/+10
2025-09-02Revert introduction of `[workspace.dependencies]`.Nicholas Nethercote-4/+4
2025-09-01Auto merge of #145925 - lcnr:revealing-use-closures-2, r=BoxyUwUbors-201/+456
2025-09-01use defining uses of all bodies to constrain non-defining useslcnr-201/+456
2025-09-01Introduce `MirDumper` and `MirWriter`.Nicholas Nethercote-74/+48
2025-09-01Use trait object references for closures.Nicholas Nethercote-3/+3
2025-08-28Add `polonius-engine` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-28Add `either` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Auto merge of #145923 - matthiaskrgr:rollup-rkejtos, r=matthiaskrgrbors-2/+2
2025-08-27Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnrbors-202/+247
2025-08-27Add `itertools` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-27Add `tracing` to `[workspace.dependencies]`.Nicholas Nethercote-1/+1
2025-08-25Auto merge of #145711 - lcnr:non-defining-uses-hir-typeck, r=BoxyUwUbors-10/+9
2025-08-25change non-defining use error messagelcnr-1/+0
2025-08-25support non-defining uses in HIR typecklcnr-10/+10
2025-08-25Rollup merge of #145620 - compiler-errors:fake-dyn-to-dyn, r=lcnrStuart Cook-62/+74
2025-08-23Simplify SCC annotations somewhatAmanda Stjerna-24/+8
2025-08-23NitsMichael Goulet-71/+72
2025-08-23Account for impossible bounds making seemingly unsatisfyable dyn-to-dyn castsMichael Goulet-11/+22
2025-08-22change HIR typeck unification handling approachlcnr-45/+51
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-188/+249
2025-08-21Auto merge of #145701 - jhpratt:rollup-a0kg33p, r=jhprattbors-1/+1
2025-08-20diagnostics :3lcnr-19/+43
2025-08-20handle opaque types before region inferencelcnr-1128/+957
2025-08-20`region_infer::opaque_types` to folderlcnr-0/+0
2025-08-20`fully_perform_op_raw` out of `TypeChecker`lcnr-31/+75
2025-08-19Defer tail call ret ty equality to check_tail_callsMichael Goulet-1/+1
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