kernel
kernel copied to clipboard
Replace uses of `ptr::Unique` and `ptr::Shared` with `ptr::NonNull`
These types were renamed recently in the standard lib. For context, see also hawkw/alarm#12, hawkw/alarm#25.
This should be more or less trivial; just a find and replace. Will fix the build, though, so that's big!
The #![feature(ptr_internals)] flags added in 847c308 and c84ca3b08e621f857bdb05367421a1487e2ab0a4 should also be removed when fixing this.
No longer critical or bug as this no longer breaks the build after 847c308 and c84ca3b, but referring to this type by its old name is still deprecated & should be changed.