Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #271 - saethlin:drain-aliasing-test, r=jdm
Test for drains that shift the tail, when inline Previously, the test suite only had one trip through the tail-shifting code in Drain::drop, and that is in the heap state. In the current implementation, a tail-shifting drain while in the inline state produces potentially dangerous aliasing which is currently accepted by default Miri and rejected with -Ztrack-raw-pointers. Adding this test case ensures that if this ever becomes an actual problem it will be easy to find.
- Loading branch information