pub(crate) fn pretty_print_const<'tcx>(
    c: Const<'tcx>,
    fmt: &mut Formatter<'_>,
    print_types: bool
) -> Result