miri

Macro callback

Source 
macro_rules! callback {
    (@capture<$tcx:lifetime $(,)? $($lft:lifetime),*>
        { $($name:ident: $type:ty),* $(,)? }
     |$this:ident, $arg:ident: $arg_ty:ty| $body:expr $(,)?) => { ... };
}
Expand description

Creates a DynMachineCallback:

callback!(
    @capture<'tcx> {
        var1: Ty1,
        var2: Ty2<'tcx>,
    }
    |this, arg: ArgTy| {
        // Implement the callback here.
        todo!()
    }
)

All the argument types must implement VisitProvenance.