bors 0ad26e6025 Auto merge of #17941 - ChayimFriedman2:pre-closure-to-fn, r=Veykril
Preliminary work for #17940

I split the PR as requested, and made small commits.
2024-08-26 08:09:15 +00:00
..
2024-07-12 16:06:44 +02:00
2024-07-16 10:41:42 +02:00