Update src/machine.rs

Co-authored-by: Ralf Jung <[email protected]>

src/machine.rs

@@ -1725,14 +1725,6 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
 }
 
 /// Trait for callbacks handling asynchronous machine operations.
-///
-/// Callbacks receive a completion state and can perform follow-up actions while
-/// maintaining interpreter invariants. They are executed with mutable access to
-/// the interpreter context.
-///
-/// # Type Parameters
-/// - `'tcx`: Typing context lifetime for the interpreter.
-/// - `T`: Type of argument passed to the callback on completion.
 pub trait MachineCallback<'tcx, T>: VisitProvenance {
     /// The function to be invoked when the callback is fired.
     fn call(