another small one for the day: by passing wiggle::Trap we can ~force~ encourage users of lucet to handle the types that can arrive from a TerminationDetails::Provided by passing wiggle::Trap directly. then, users can be certain that the only types that can show up are their own provided types from lucet_hostcall_terminate, or wiggle::Trap via the wiggle bindings.
another small one for the day: by passing
wiggle::Trap
we can ~force~ encourage users oflucet
to handle the types that can arrive from aTerminationDetails::Provided
by passingwiggle::Trap
directly. then, users can be certain that the only types that can show up are their own provided types fromlucet_hostcall_terminate
, orwiggle::Trap
via the wiggle bindings.