Rename CloneLiftImpls as TrivialLiftImpls.

To match `TrivialTypeTraversalImpls` and
`TrivialTypeTraversalAndLiftImpls`, and because the `Clone` doesn't mean
anything.
This commit is contained in:
Nicholas Nethercote 2023-09-14 12:03:56 +10:00
parent 46fe65d0e5
commit 6b1980f9cf
3 changed files with 4 additions and 4 deletions

View File

@ -42,7 +42,7 @@ macro_rules! span_bug {
// the impls for you. // the impls for you.
#[macro_export] #[macro_export]
macro_rules! CloneLiftImpls { macro_rules! TrivialLiftImpls {
($($ty:ty),+ $(,)?) => { ($($ty:ty),+ $(,)?) => {
$( $(
impl<'tcx> $crate::ty::Lift<'tcx> for $ty { impl<'tcx> $crate::ty::Lift<'tcx> for $ty {
@ -96,6 +96,6 @@ fn visit_with<F: $crate::ty::visit::TypeVisitor<$crate::ty::TyCtxt<'tcx>>>(
macro_rules! TrivialTypeTraversalAndLiftImpls { macro_rules! TrivialTypeTraversalAndLiftImpls {
($($t:tt)*) => { ($($t:tt)*) => {
TrivialTypeTraversalImpls! { $($t)* } TrivialTypeTraversalImpls! { $($t)* }
CloneLiftImpls! { $($t)* } TrivialLiftImpls! { $($t)* }
} }
} }

View File

@ -1259,7 +1259,7 @@ fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted> {
// This is the impl for `&'a GenericArgs<'a>`. // This is the impl for `&'a GenericArgs<'a>`.
nop_list_lift! {args; GenericArg<'a> => GenericArg<'tcx>} nop_list_lift! {args; GenericArg<'a> => GenericArg<'tcx>}
CloneLiftImpls! { TrivialLiftImpls! {
Constness, Constness,
traits::WellFormedLoc, traits::WellFormedLoc,
ImplPolarity, ImplPolarity,

View File

@ -456,7 +456,7 @@ fn fmt<InfCtx: InferCtxtLike<TyCtxt<'tcx>>>(
// For things for which the type library provides traversal implementations // For things for which the type library provides traversal implementations
// for all Interners, we only need to provide a Lift implementation: // for all Interners, we only need to provide a Lift implementation:
CloneLiftImpls! { TrivialLiftImpls! {
(), (),
bool, bool,
usize, usize,