Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obk · RalfJung/miri@15c9cdb · GitHub

Commit

Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obk

Browse files

change `BorrowKind::Unique` to be a mutating `PlaceContext`

fixes #112056

I believe that `BorrowKind::Unique` is a footgun in general, so I added a FIXME and opened rust-lang/rust#112072. This is a bit too involved for this PR though.

Loading branch information

bors committed May 31, 2023

2 parents 387aee8 + 11b954e commit 15c9cdb