model-checking
diff --git a/‎library/alloc/src/str.rs
Lines changed: 2 additions & 2 deletions b/‎library/alloc/src/str.rs
Lines changed: 2 additions & 2 deletions
diff --git a/‎library/core/src/intrinsics/mod.rs
Lines changed: 78 additions & 339 deletions b/‎library/core/src/intrinsics/mod.rs
Lines changed: 78 additions & 339 deletions
diff --git a/‎library/core/src/mem/mod.rs
Lines changed: 2 additions & 0 deletions b/‎library/core/src/mem/mod.rs
Lines changed: 2 additions & 0 deletions
@@ -234,7 +234,7 @@ impl str {
     #[stable(feature = "str_box_extras", since = "1.20.0")]
     #[must_use = "`self` will be dropped if the result is not used"]
     #[inline]
-    pub fn into_boxed_bytes(self: Box<str>) -> Box<[u8]> {
+    pub fn into_boxed_bytes(self: Box<Self>) -> Box<[u8]> {
         self.into()
     }
 
@@ -501,7 +501,7 @@ impl str {
     #[rustc_allow_incoherent_impl]
     #[must_use = "`self` will be dropped if the result is not used"]
     #[inline]
-    pub fn into_string(self: Box<str>) -> String {
+    pub fn into_string(self: Box<Self>) -> String {
         let slice = Box::<[u8]>::from(self);
         unsafe { String::from_utf8_unchecked(slice.into_vec()) }
     }
 
@@ -23,6 +23,8 @@ mod transmutability;
 #[unstable(feature = "transmutability", issue = "99571")]
 pub use transmutability::{Assume, TransmuteFrom};
 
+// This one has to be a re-export (rather than wrapping the underlying intrinsic) so that we can do
+// the special magic "types have equal size" check at the call site.
 #[stable(feature = "rust1", since = "1.0.0")]
 #[doc(inline)]
 pub use crate::intrinsics::transmute;