From 631c6883502144fdb8ac754c9ef1f74111fd3222 Mon Sep 17 00:00:00 2001
From: Mara Bos <m-ou.se@m-ou.se>
Date: Wed, 23 Sep 2020 11:09:10 +0200
Subject: [PATCH] Make [].as_[mut_]ptr_range() (unstably) const.
---
library/core/src/slice/mod.rs | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/library/core/src/slice/mod.rs b/library/core/src/slice/mod.rs
index ff926c517bc7c..12dcd6c6ba8d0 100644
--- a/library/core/src/slice/mod.rs
+++ b/library/core/src/slice/mod.rs
@@ -433,8 +433,9 @@ impl<T> [T] {
/// assert_eq!(x, &[3, 4, 6]);
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
+ #[rustc_const_unstable(feature = "const_ptr_offset", issue = "71499")]
#[inline]
- pub fn as_mut_ptr(&mut self) -> *mut T {
+ pub const fn as_mut_ptr(&mut self) -> *mut T {
self as *mut [T] as *mut T
}
@@ -469,8 +470,9 @@ impl<T> [T] {
///
/// [`as_ptr`]: #method.as_ptr
#[unstable(feature = "slice_ptr_range", issue = "65807")]
+ #[rustc_const_unstable(feature = "const_ptr_offset", issue = "71499")]
#[inline]
- pub fn as_ptr_range(&self) -> Range<*const T> {
+ pub const fn as_ptr_range(&self) -> Range<*const T> {
let start = self.as_ptr();
// SAFETY: The `add` here is safe, because:
//
@@ -510,8 +512,9 @@ impl<T> [T] {
///
/// [`as_mut_ptr`]: #method.as_mut_ptr
#[unstable(feature = "slice_ptr_range", issue = "65807")]
+ #[rustc_const_unstable(feature = "const_ptr_offset", issue = "71499")]
#[inline]
- pub fn as_mut_ptr_range(&mut self) -> Range<*mut T> {
+ pub const fn as_mut_ptr_range(&mut self) -> Range<*mut T> {
let start = self.as_mut_ptr();
// SAFETY: See as_ptr_range() above for why `add` here is safe.
let end = unsafe { start.add(self.len()) };