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