Apply CR suggestions; add real tracking issue

2022-04-10 16:02:52 -07:00
parent 4bb15b3797
commit 003b954a43
6 changed files with 14 additions and 10 deletions
--- a/library/core/src/lib.rs
+++ b/library/core/src/lib.rs
@@ -126,6 +126,7 @@
 #![feature(const_option)]
 #![feature(const_option_ext)]
 #![feature(const_pin)]
+#![feature(const_ptr_sub_ptr)]
 #![feature(const_replace)]
 #![feature(const_ptr_as_ref)]
 #![feature(const_ptr_is_null)]