Rename normalize to normalize_internal, remove unnecessary usages
This commit is contained in:
parent
e83e4e8112
commit
38bbcc001e
@ -1487,7 +1487,7 @@ pub(crate) fn try_structurally_resolve_const(
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
} else if self.tcx.features().generic_const_exprs {
|
} else if self.tcx.features().generic_const_exprs {
|
||||||
ct.normalize(self.tcx, self.param_env)
|
ct.normalize_internal(self.tcx, self.param_env)
|
||||||
} else {
|
} else {
|
||||||
ct
|
ct
|
||||||
}
|
}
|
||||||
|
@ -1,12 +1,12 @@
|
|||||||
use std::fmt::{self, Debug, Display, Formatter};
|
use std::fmt::{self, Debug, Display, Formatter};
|
||||||
|
|
||||||
|
use either::Either;
|
||||||
use rustc_hir::def_id::DefId;
|
use rustc_hir::def_id::DefId;
|
||||||
use rustc_macros::{HashStable, Lift, TyDecodable, TyEncodable, TypeFoldable, TypeVisitable};
|
use rustc_macros::{HashStable, Lift, TyDecodable, TyEncodable, TypeFoldable, TypeVisitable};
|
||||||
use rustc_session::RemapFileNameExt;
|
use rustc_session::RemapFileNameExt;
|
||||||
use rustc_session::config::RemapPathScopeComponents;
|
use rustc_session::config::RemapPathScopeComponents;
|
||||||
use rustc_span::{DUMMY_SP, Span};
|
use rustc_span::{DUMMY_SP, Span};
|
||||||
use rustc_target::abi::{HasDataLayout, Size};
|
use rustc_target::abi::{HasDataLayout, Size};
|
||||||
use either::Either;
|
|
||||||
|
|
||||||
use crate::mir::interpret::{AllocId, ConstAllocation, ErrorHandled, Scalar, alloc_range};
|
use crate::mir::interpret::{AllocId, ConstAllocation, ErrorHandled, Scalar, alloc_range};
|
||||||
use crate::mir::{Promoted, pretty_print_const_value};
|
use crate::mir::{Promoted, pretty_print_const_value};
|
||||||
|
@ -400,7 +400,7 @@ pub fn eval_valtree(
|
|||||||
|
|
||||||
/// Normalizes the constant to a value or an error if possible.
|
/// Normalizes the constant to a value or an error if possible.
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn normalize(self, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>) -> Self {
|
pub fn normalize_internal(self, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>) -> Self {
|
||||||
match self.eval_valtree(tcx, param_env, DUMMY_SP) {
|
match self.eval_valtree(tcx, param_env, DUMMY_SP) {
|
||||||
Ok((ty, val)) => Self::new_value(tcx, val, ty),
|
Ok((ty, val)) => Self::new_value(tcx, val, ty),
|
||||||
Err(Either::Left(_bad_ty)) => {
|
Err(Either::Left(_bad_ty)) => {
|
||||||
|
@ -555,7 +555,6 @@ fn print_dyn_existential(
|
|||||||
|
|
||||||
fn print_const(&mut self, ct: ty::Const<'tcx>) -> Result<(), PrintError> {
|
fn print_const(&mut self, ct: ty::Const<'tcx>) -> Result<(), PrintError> {
|
||||||
// We only mangle a typed value if the const can be evaluated.
|
// We only mangle a typed value if the const can be evaluated.
|
||||||
let ct = ct.normalize(self.tcx, ty::ParamEnv::reveal_all());
|
|
||||||
let (ct_ty, valtree) = match ct.kind() {
|
let (ct_ty, valtree) = match ct.kind() {
|
||||||
ty::ConstKind::Value(ty, val) => (ty, val),
|
ty::ConstKind::Value(ty, val) => (ty, val),
|
||||||
|
|
||||||
|
@ -368,7 +368,7 @@ fn fold_const(&mut self, c: ty::Const<'tcx>) -> ty::Const<'tcx> {
|
|||||||
// should actually be okay since without `feature(generic_const_exprs)` the only
|
// should actually be okay since without `feature(generic_const_exprs)` the only
|
||||||
// const arguments that have a non-empty param env are array repeat counts. These
|
// const arguments that have a non-empty param env are array repeat counts. These
|
||||||
// do not appear in the type system though.
|
// do not appear in the type system though.
|
||||||
c.normalize(self.0, ty::ParamEnv::empty())
|
c.normalize_internal(self.0, ty::ParamEnv::empty())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -413,7 +413,7 @@ fn fold_const(&mut self, constant: ty::Const<'tcx>) -> ty::Const<'tcx> {
|
|||||||
self.selcx.infcx,
|
self.selcx.infcx,
|
||||||
&mut self.universes,
|
&mut self.universes,
|
||||||
constant,
|
constant,
|
||||||
|constant| constant.normalize(tcx, self.param_env),
|
|constant| constant.normalize_internal(tcx, self.param_env),
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -340,7 +340,7 @@ fn try_fold_const(
|
|||||||
self.infcx,
|
self.infcx,
|
||||||
&mut self.universes,
|
&mut self.universes,
|
||||||
constant,
|
constant,
|
||||||
|constant| constant.normalize(self.infcx.tcx, self.param_env),
|
|constant| constant.normalize_internal(self.infcx.tcx, self.param_env),
|
||||||
);
|
);
|
||||||
debug!(?constant, ?self.param_env);
|
debug!(?constant, ?self.param_env);
|
||||||
constant.try_super_fold_with(self)
|
constant.try_super_fold_with(self)
|
||||||
|
Loading…
Reference in New Issue
Block a user