refactor(pal/hermit): return ! to satisfy rust-analyzer · model-checking/verify-rust-std@c337019 (original) (raw)

Original file line number Diff line number Diff line change
@@ -49,9 +49,7 @@ pub fn unsupported_err() -> crate::io::Error {
49 49 }
50 50
51 51 pub fn abort_internal() -> ! {
52 -unsafe {
53 - hermit_abi::abort();
54 -}
52 +unsafe { hermit_abi::abort() }
55 53 }
56 54
57 55 pub fn hashmap_random_keys() -> (u64, u64) {
@@ -104,7 +102,7 @@ pub unsafe extern "C" fn runtime_entry(
104 102 let result = main(argc as isize, argv);
105 103
106 104 crate::sys::thread_local::destructors::run();
107 - hermit_abi::exit(result);
105 + hermit_abi::exit(result)
108 106 }
109 107
110 108 #[inline]