pub(crate) fn print_const_expr(tcx: TyCtxt<'_>, body: BodyId) -> String