about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-20/+14
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-20/+14
2025-06-05Auto merge of #140466 - amandasystems:move-to-preprocessing-step, r=lcnrbors-313/+423
2025-06-04Don't refer to 'local binding' in extern macro.Mara Bos-1/+7
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-136/+131
2025-06-03Add `iter` macroOli Scherer-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+4
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-299/+414
2025-06-03Rollup merge of #141891 - jdonszelmann:fix-141764, r=jieyouxuMatthias Krüger-8/+16
2025-06-02fix bug where borrowck tries to describe a name from a macro in another crateJana Dönszelmann-8/+16
2025-06-01Rollup merge of #141823 - amandasystems:reverse_scc_graph_once_cell, r=jieyouxuGuillaume Gomez-18/+11
2025-05-31Drive-by refactor: use `OnceCell` for the reverse region SCC graphAmanda Stjerna-18/+11
2025-05-31Auto merge of #141667 - lqd:lazy-maybe-init, r=matthewjasperbors-41/+60
2025-05-29Normalize possibly unnormalized type in relate_type_and_user_typeMichael Goulet-0/+3
2025-05-29Structurally normalize types as needed in projection_ty_coreMichael Goulet-7/+5
2025-05-27add perf fixme for `MaybeInitializedPlaces` domainRémy Rakic-0/+12
2025-05-27fast path: compute `MaybeInitializedPlaces` lazilyRémy Rakic-11/+33
2025-05-27remove unneeded lifetimeRémy Rakic-7/+8
2025-05-27move `MaybeInitializedPlaces` computation to where it's usedRémy Rakic-27/+11
2025-05-27Suggest mut when possbile for temporary value dropped while borrowedyukang-1/+13
2025-05-27Fix some var namesMichael Goulet-3/+3
2025-05-27Rename unpack to kindMichael Goulet-4/+4
2025-05-22Rollup merge of #139668 - matthewjasper:upper-bound-fix, r=compiler-errorsMatthias Krüger-1/+2
2025-05-15Rollup merge of #140947 - compiler-errors:pending-norm, r=lcnrMatthias Krüger-7/+1
2025-05-13Expect deep norm to fail if query norm failedMichael Goulet-7/+1
2025-05-12update cfg(bootstrap)Pietro Albini-1/+0
2025-05-08Rollup merge of #140260 - compiler-errors:only-global-post-norm, r=lcnrMatthias Krüger-4/+0
2025-05-07Auto merge of #140751 - GuillaumeGomez:rollup-eahw4ta, r=GuillaumeGomezbors-12/+14
2025-05-07Auto merge of #140590 - lcnr:closure-in-dead-code, r=compiler-errorsbors-1/+12
2025-05-07Rollup merge of #140234 - nnethercote:separate-Analysis-and-Results, r=davidtwcoGuillaume Gomez-12/+14
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-4/+0
2025-05-05Rollup merge of #140605 - lcnr:defer-opaque-type-error, r=compiler-errorsGuillaume Gomez-2/+2
2025-05-04Auto merge of #140580 - jdonszelmann:variables-external-macros, r=m-ou-sebors-6/+9
2025-05-03`fn check_opaque_type_parameter_valid` defer errorlcnr-2/+2
2025-05-03`CreateResult` wrap more fields in `Frozen`lcnr-4/+4
2025-05-03TypeChecker take fields by reflcnr-8/+8
2025-05-03add `ReverseSccGraph::compute`lcnr-18/+27
2025-05-02borrowck nested items in dead codelcnr-1/+12
2025-05-02remove an unused codepathJana Dönszelmann-6/+1
2025-05-02Test that names of variables in external macros are not shown on a borrow errorJana Dönszelmann-0/+8
2025-05-01Auto merge of #139965 - amandasystems:marginally-improved-scc-annotations, r=...bors-21/+53
2025-04-28Use associated types for SCC annotations, per code review suggestionAmanda Stjerna-13/+10
2025-04-28Decouple SCC annotations from SCCsAmanda Stjerna-21/+56
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-4/+24
2025-04-25Rollup merge of #140257 - amandasystems:housecleaning, r=wesleywiserMatthias Krüger-45/+39
2025-04-25Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnrMatthias Krüger-1/+1
2025-04-24Some drive-by housecleaning in `rustc_borrowck`Amanda Stjerna-45/+39
2025-04-24Separate `Analysis` and `Results`.Nicholas Nethercote-9/+11
2025-04-24Pass `Analysis` to `visit_*` instead of `Results`.Nicholas Nethercote-3/+3
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1