diff options
| author | bors <bors@rust-lang.org> | 2022-12-27 07:31:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-27 07:31:42 +0000 |
| commit | 0ca50032ce7271ebbe6f4e3f766c686f6204116c (patch) | |
| tree | e9e5f95818ca272756e9ed22ba24a61b3727d75b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e3961864075eaa9e855e5eec6b4f148029684539 (diff) | |
| parent | 8a13a7c14874147621e5344e3f31aaed39d390f5 (diff) | |
| download | rust-0ca50032ce7271ebbe6f4e3f766c686f6204116c.tar.gz rust-0ca50032ce7271ebbe6f4e3f766c686f6204116c.zip | |
Auto merge of #106095 - estebank:pin-mut-reborrow, r=compiler-errors
Suggest `Pin::as_mut` when encountering borrow error Fix #65409 for `Pin<&mut T>`.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions