bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Added the param-blindness attribute to Rc and Arc.

Browse source 
This was proven necessary after I added `Rc` and `Arc` to the rpass
test `dropck_legal_cycles.rs`; see PR #28929.
This commit is contained in:
Felix S. Klock II 2015-10-09 18:03:31 +02:00
parent e1aba75a97
commit 34076bc0c9
2 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/liballoc/arc.rs
View file

@ -550,6 +550,7 @@ impl<T: ?Sized> Drop for Arc<T> {
/// ///
/// } // implicit drop /// } // implicit drop
/// ``` /// ```
#[unsafe_destructor_blind_to_params]
#[inline] #[inline]
fn drop(&mut self) { fn drop(&mut self) {
// This structure has #[unsafe_no_drop_flag], so this drop glue may run // This structure has #[unsafe_no_drop_flag], so this drop glue may run

1
src/liballoc/rc.rs
View file

@ -451,6 +451,7 @@ impl<T: ?Sized> Drop for Rc<T> {
/// ///
/// } // implicit drop /// } // implicit drop
/// ``` /// ```
#[unsafe_destructor_blind_to_params]
fn drop(&mut self) { fn drop(&mut self) {
unsafe { unsafe {
let ptr = *self._ptr; let ptr = *self._ptr;