From d11a58b6769105082a06a185660ae7cbd6dfc173 Mon Sep 17 00:00:00 2001
From: dylan_DPC <dylan.dpc@gmail.com>
Date: Fri, 28 Dec 2018 16:58:55 +0530
Subject: [PATCH] Make the getter for NonZero types into a const fn

---
 src/libcore/num/mod.rs              | 2 +-
 src/test/ui/consts/const-nonzero.rs | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 src/test/ui/consts/const-nonzero.rs

diff --git a/src/libcore/num/mod.rs b/src/libcore/num/mod.rs
index e776513770e..97bf582df5a 100644
--- a/src/libcore/num/mod.rs
+++ b/src/libcore/num/mod.rs
@@ -77,7 +77,7 @@ assert_eq!(size_of::<Option<std::num::", stringify!($Ty), ">>(), size_of::<", st
                 /// Returns the value as a primitive type.
                 #[stable(feature = "nonzero", since = "1.28.0")]
                 #[inline]
-                pub fn get(self) -> $Int {
+                pub const fn get(self) -> $Int {
                     self.0
                 }
 
diff --git a/src/test/ui/consts/const-nonzero.rs b/src/test/ui/consts/const-nonzero.rs
new file mode 100644
index 00000000000..02900924c13
--- /dev/null
+++ b/src/test/ui/consts/const-nonzero.rs
@@ -0,0 +1,9 @@
+// compile-pass
+
+use std::num::NonZeroU8;
+
+const X: NonZeroU8 = unsafe { NonZeroU8::new_unchecked(5) };
+const Y: u8 = X.get();
+
+fn main() {
+}
\ No newline at end of file