From 34076bc0c9fb9ee718e1cebc407547eef730a080 Mon Sep 17 00:00:00 2001
From: "Felix S. Klock II" <pnkfelix@pnkfx.org>
Date: Fri, 9 Oct 2015 18:03:31 +0200
Subject: [PATCH] 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.
---
 src/liballoc/arc.rs | 1 +
 src/liballoc/rc.rs  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/liballoc/arc.rs b/src/liballoc/arc.rs
index ceca44fc1ac..393138aca09 100644
--- 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
index 3507f123a6f..c207996a8b6 100644
--- 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;