Function init

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