pub(crate) fn init<'tcx, F, T, B: Bridge>(
container: &SmirContainer<'tcx, B>,
f: F,
) -> Twhere
F: FnOnce() -> T,
pub(crate) fn init<'tcx, F, T, B: Bridge>(
container: &SmirContainer<'tcx, B>,
f: F,
) -> Twhere
F: FnOnce() -> T,