fn is_promotable_const_fn(tcx: TyCtxt<'_>, def_id: DefId) -> bool