From 54a692c3414766f863061828abee7e7087dd174c Mon Sep 17 00:00:00 2001
From: Evan Johnson <e5johnso@eng.ucsd.edu>
Date: Sat, 16 Nov 2024 11:21:39 -0800
Subject: [PATCH] misc fixes

---
 kernel/src/debug.rs         | 1 -
 kernel/src/deferred_call.rs | 3 ---
 kernel/src/kernel.rs        | 1 -
 3 files changed, 5 deletions(-)

diff --git a/kernel/src/debug.rs b/kernel/src/debug.rs
index 6f3079c145..613042a019 100644
--- a/kernel/src/debug.rs
+++ b/kernel/src/debug.rs
@@ -347,7 +347,6 @@ pub fn debug_enqueue_fmt(args: Arguments) {
     });
 }
 
-#[flux_rs::trusted] // incompatible types
 pub fn debug_flush_queue_() {
     let writer = unsafe { get_debug_writer() };
 
diff --git a/kernel/src/deferred_call.rs b/kernel/src/deferred_call.rs
index aa711c871c..b26469cb02 100644
--- a/kernel/src/deferred_call.rs
+++ b/kernel/src/deferred_call.rs
@@ -80,7 +80,6 @@ pub trait DeferredCallClient: Sized {
 /// per instance, but this alternative stores only the data and function pointers,
 /// 8 bytes per instance.
 #[derive(Copy, Clone)]
-#[flux_rs::opaque]
 struct DynDefCallRef<'a> {
     data: *const (),
     callback: fn(*const ()),
@@ -95,7 +94,6 @@ impl<'a> DynDefCallRef<'a> {
     // are identical, making this zero-cost, but saving us from having to trust
     // that `fn(*const ())` and `fn handle_deferred_call(&self)` will always have the same calling
     // convention for any type.
-    #[flux_rs::trusted] // unsupported cast `PointerCoercion(ClosureFnPointer(Safe))`
     fn new<T: DeferredCallClient>(x: &'a T) -> Self {
         Self {
             data: core::ptr::from_ref(x) as *const (),
@@ -107,7 +105,6 @@ impl<'a> DynDefCallRef<'a> {
 
 impl DynDefCallRef<'_> {
     // more efficient pass by `self` if we don't have to implement `DeferredCallClient` directly
-    #[flux_rs::trusted] // Unsupported Terminator
     fn handle_deferred_call(self) {
         (self.callback)(self.data)
     }
diff --git a/kernel/src/kernel.rs b/kernel/src/kernel.rs
index e9ed3f8aa9..23ee02ab5d 100644
--- a/kernel/src/kernel.rs
+++ b/kernel/src/kernel.rs
@@ -172,7 +172,6 @@ impl Kernel {
 
     /// Run a closure on every valid process. This will iterate the array of
     /// processes and call the closure on every process that exists.
-    #[flux_rs::trusted] // error jumping to join point
     pub(crate) fn process_each<F>(&self, mut closure: F)
     where
         F: FnMut(&dyn process::Process),