Added the param-blindness attribute to Rc and Arc.

This was proven necessary after I added `Rc` and `Arc` to the rpass test `dropck_legal_cycles.rs`; see PR #28929.
rust-lang · Oct 9, 2015 · 34076bc · 34076bc
1 parent e1aba75
commit 34076bc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/liballoc/arc.rs b/src/liballoc/arc.rs
@@ -550,6 +550,7 @@ impl<T: ?Sized> Drop for Arc<T> {
  ///
  /// } // implicit drop
  /// ```
+ #[unsafe_destructor_blind_to_params]
  #[inline]
  fn drop(&mut self) {
  // This structure has #[unsafe_no_drop_flag], so this drop glue may run

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