diff options
| author | Frank Steffahn <frank.steffahn@stu.uni-kiel.de> | 2021-06-03 15:53:12 +0200 |
|---|---|---|
| committer | Frank Steffahn <frank.steffahn@stu.uni-kiel.de> | 2021-07-28 14:33:35 +0200 |
| commit | 1c7f27f79278baf41e985d77993f9d5a0f610025 (patch) | |
| tree | 8779aac1db1c3a37c4a90b288fbf5141f8de7786 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | a0d8a324eb2ad2f4660c3ab065aa35de306cd822 (diff) | |
| download | rust-1c7f27f79278baf41e985d77993f9d5a0f610025.tar.gz rust-1c7f27f79278baf41e985d77993f9d5a0f610025.zip | |
Improve documentation of TrustedRandomAccess
Include new details regarding coercions to a subtype.
These conditions also explain why the previously removed implementations
for {array, vec, vec_deque}::IntoIter<T> were unsound, because they introduced
an extra `T: Clone` for the TrustedRandomAccess impl, even though their parameter T
is covariant.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions