pub(crate) fn print_evaluated_const( tcx: TyCtxt<'_>, def_id: DefId, with_underscores: bool, with_type: bool, ) -> Option<String>