pub(crate) fn run<'tcx, T, F>(
interface: &SmirInterface<'tcx>,
f: F,
) -> Result<T, Error>where
F: FnOnce() -> T,
pub(crate) fn run<'tcx, T, F>(
interface: &SmirInterface<'tcx>,
f: F,
) -> Result<T, Error>where
F: FnOnce() -> T,