rust
/
nomicon
mirror of https://github.com/rust-lang/nomicon
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

review comment: point out that the dropck analysis is now trivial.

Browse Source
pull/10/head
Felix S. Klock II 9 years ago committed by Manish Goregaokar
parent c2c76b3366
commit a8362b6890
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File

10
dropck.md
Unescape View File

@ -186,11 +186,13 @@ strictly outlive that value.
The precise rules that govern drop checking may be less restrictive in The precise rules that govern drop checking may be less restrictive in
the future. the future.
The current analysis is deliberately conservative; forcing all The current analysis is deliberately conservative and trivial; it forces all
borrowed data in a value to outlive that value is certainly sound. borrowed data in a value to outlive that value, which is certainly sound.
Future versions of the language may improve its precision (i.e. to Future versions of the language may make the analysis more precise, to
reduce the number of cases where sound code is rejected as unsafe). reduce the number of cases where sound code is rejected as unsafe.
This would help address cases such as the two Inspectors above that
know not to inspect during destruction.
In the meantime, there is an unstable attribute that one can use to In the meantime, there is an unstable attribute that one can use to
assert (unsafely) that a generic type's destructor is *guaranteed* to assert (unsafely) that a generic type's destructor is *guaranteed* to

Write Preview
Loading…
Cancel
Save