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