Remove #![feature(feature)] from example root task

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jan 11, 2024 · c0397a0 · c0397a0
1 parent 938e0db
commit c0397a0
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/crates/examples/root-task/example-root-task/src/main.rs b/crates/examples/root-task/example-root-task/src/main.rs
@@ -6,12 +6,11 @@
 
 #![no_std]
 #![no_main]
-#![feature(never_type)]
 
-use sel4_root_task::root_task;
+use sel4_root_task::{root_task, Never};
 
 #[root_task]
-fn main(bootinfo: &sel4::BootInfo) -> sel4::Result<!> {
+fn main(bootinfo: &sel4::BootInfo) -> sel4::Result<Never> {
     sel4::debug_println!("Hello, World!");
 
     let blueprint = sel4::ObjectBlueprint::Notification;