Function print_const 

pub(crate) fn print_const(tcx: TyCtxt<'_>, n: Const<'_>) -> String