pub(crate) fn from_function(
    function: Box<Function>,
    header: FnHeader,
    tcx: TyCtxt<'_>
) -> Function