pub fn eval_ty_constant<'tcx, S: UnderOwnerState<'tcx>>( s: &S, c: Const<'tcx>, ) -> Option<Const<'tcx>>
Evaluate a ty::Const.
ty::Const