Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit c774adc

Browse files
compiler-errorscompiler-errors
committed
Split TypeFolder and FallibleTypeFolder
1 parent 13b4734 commit c774adc

File tree

10 files changed

+395
-186
lines changed

10 files changed

+395
-186
lines changed

‎compiler/rustc_macros/src/type_foldable.rs‎

Lines changed: 43 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -14,27 +14,13 @@ pub(super) fn type_foldable_derive(mut s: synstructure::Structure<'_>) -> proc_m
1414

1515
s.add_bounds(synstructure::AddBounds::Generics);
1616
s.bind_with(|_| synstructure::BindStyle::Move);
17-
let body_fold = s.each_variant(|vi| {
17+
let try_body_fold = s.each_variant(|vi| {
1818
let bindings = vi.bindings();
1919
vi.construct(|_, index| {
2020
let bind = &bindings[index];
2121

22-
let mut fixed = false;
23-
2422
// retain value of fields with #[type_foldable(identity)]
25-
bind.ast().attrs.iter().for_each(|x| {
26-
if !x.path().is_ident("type_foldable") {
27-
return;
28-
}
29-
let _ = x.parse_nested_meta(|nested| {
30-
if nested.path.is_ident("identity") {
31-
fixed = true;
32-
}
33-
Ok(())
34-
});
35-
});
36-
37-
if fixed {
23+
if has_ignore_attr(&bind.ast().attrs, "type_foldable", "identity") {
3824
bind.to_token_stream()
3925
} else {
4026
quote! {
@@ -44,15 +30,55 @@ pub(super) fn type_foldable_derive(mut s: synstructure::Structure<'_>) -> proc_m
4430
})
4531
});
4632

33+
let body_fold = s.each_variant(|vi| {
34+
let bindings = vi.bindings();
35+
vi.construct(|_, index| {
36+
let bind = &bindings[index];
37+
38+
// retain value of fields with #[type_foldable(identity)]
39+
if has_ignore_attr(&bind.ast().attrs, "type_foldable", "identity") {
40+
bind.to_token_stream()
41+
} else {
42+
quote! {
43+
::rustc_middle::ty::TypeFoldable::fold_with(#bind, __folder)
44+
}
45+
}
46+
})
47+
});
48+
4749
s.bound_impl(
4850
quote!(::rustc_middle::ty::TypeFoldable<::rustc_middle::ty::TyCtxt<'tcx>>),
4951
quote! {
5052
fn try_fold_with<__F: ::rustc_middle::ty::FallibleTypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(
5153
self,
5254
__folder: &mut __F
5355
) -> Result<Self, __F::Error> {
54-
Ok(match self { #body_fold })
56+
Ok(match self { #try_body_fold })
57+
}
58+
59+
fn fold_with<__F: ::rustc_middle::ty::TypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(
60+
self,
61+
__folder: &mut __F
62+
) -> Self {
63+
match self { #body_fold }
5564
}
5665
},
5766
)
5867
}
68+
69+
fn has_ignore_attr(attrs: &[syn::Attribute], name: &'static str, meta: &'static str) -> bool {
70+
let mut ignored = false;
71+
attrs.iter().for_each(|attr| {
72+
if !attr.path().is_ident(name) {
73+
return;
74+
}
75+
let _ = attr.parse_nested_meta(|nested| {
76+
if nested.path.is_ident(meta) {
77+
ignored = true;
78+
}
79+
Ok(())
80+
});
81+
});
82+
83+
ignored
84+
}

‎compiler/rustc_middle/src/infer/canonical.rs‎

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -39,15 +39,6 @@ pub type CanonicalVarInfo<'tcx> = ir::CanonicalVarInfo<TyCtxt<'tcx>>;
3939
pub type CanonicalVarValues<'tcx> = ir::CanonicalVarValues<TyCtxt<'tcx>>;
4040
pub type CanonicalVarInfos<'tcx> = &'tcx List<CanonicalVarInfo<'tcx>>;
4141

42-
impl<'tcx> ty::TypeFoldable<TyCtxt<'tcx>> for CanonicalVarInfos<'tcx> {
43-
fn try_fold_with<F: ty::FallibleTypeFolder<TyCtxt<'tcx>>>(
44-
self,
45-
folder: &mut F,
46-
) -> Result<Self, F::Error> {
47-
ty::util::fold_list(self, folder, |tcx, v| tcx.mk_canonical_var_infos(v))
48-
}
49-
}
50-
5142
/// When we canonicalize a value to form a query, we wind up replacing
5243
/// various parts of it with canonical variables. This struct stores
5344
/// those replaced bits to remember for when we process the query

‎compiler/rustc_middle/src/mir/syntax.rs‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -931,6 +931,8 @@ pub enum TerminatorKind<'tcx> {
931931
asm_macro: InlineAsmMacro,
932932

933933
/// The template for the inline assembly, with placeholders.
934+
#[type_foldable(identity)]
935+
#[type_visitable(ignore)]
934936
template: &'tcx [InlineAsmTemplatePiece],
935937

936938
/// The operands for the inline assembly, as `Operand`s or `Place`s.
@@ -941,6 +943,8 @@ pub enum TerminatorKind<'tcx> {
941943

942944
/// Source spans for each line of the inline assembly code. These are
943945
/// used to map assembler errors back to the line in the source code.
946+
#[type_foldable(identity)]
947+
#[type_visitable(ignore)]
944948
line_spans: &'tcx [Span],
945949

946950
/// Valid targets for the inline assembly.

‎compiler/rustc_middle/src/ty/generic_args.rs‎

Lines changed: 46 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ use smallvec::SmallVec;
1717
use crate::ty::codec::{TyDecoder, TyEncoder};
1818
use crate::ty::{
1919
self, ClosureArgs, CoroutineArgs, CoroutineClosureArgs, FallibleTypeFolder, InlineConstArgs,
20-
Lift, List, Ty, TyCtxt, TypeFoldable, TypeVisitable, TypeVisitor, VisitorResult,
20+
Lift, List, Ty, TyCtxt, TypeFoldable, TypeFolder, TypeVisitable, TypeVisitor, VisitorResult,
2121
walk_visitable_list,
2222
};
2323

@@ -337,6 +337,14 @@ impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for GenericArg<'tcx> {
337337
GenericArgKind::Const(ct) => ct.try_fold_with(folder).map(Into::into),
338338
}
339339
}
340+
341+
fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, folder: &mut F) -> Self {
342+
match self.unpack() {
343+
GenericArgKind::Lifetime(lt) => lt.fold_with(folder).into(),
344+
GenericArgKind::Type(ty) => ty.fold_with(folder).into(),
345+
GenericArgKind::Const(ct) => ct.fold_with(folder).into(),
346+
}
347+
}
340348
}
341349

342350
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for GenericArg<'tcx> {
@@ -606,6 +614,27 @@ impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for GenericArgsRef<'tcx> {
606614
}
607615
}
608616
0 => Ok(self),
617+
_ => ty::util::try_fold_list(self, folder, |tcx, v| tcx.mk_args(v)),
618+
}
619+
}
620+
621+
fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, folder: &mut F) -> Self {
622+
// See justification for this behavior in `try_fold_with`.
623+
match self.len() {
624+
1 => {
625+
let param0 = self[0].fold_with(folder);
626+
if param0 == self[0] { self } else { folder.cx().mk_args(&[param0]) }
627+
}
628+
2 => {
629+
let param0 = self[0].fold_with(folder);
630+
let param1 = self[1].fold_with(folder);
631+
if param0 == self[0] && param1 == self[1] {
632+
self
633+
} else {
634+
folder.cx().mk_args(&[param0, param1])
635+
}
636+
}
637+
0 => self,
609638
_ => ty::util::fold_list(self, folder, |tcx, v| tcx.mk_args(v)),
610639
}
611640
}
@@ -641,6 +670,22 @@ impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<Ty<'tcx>> {
641670
Ok(folder.cx().mk_type_list(&[param0, param1]))
642671
}
643672
}
673+
_ => ty::util::try_fold_list(self, folder, |tcx, v| tcx.mk_type_list(v)),
674+
}
675+
}
676+
677+
fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, folder: &mut F) -> Self {
678+
// See comment justifying behavior in `try_fold_with`.
679+
match self.len() {
680+
2 => {
681+
let param0 = self[0].fold_with(folder);
682+
let param1 = self[1].fold_with(folder);
683+
if param0 == self[0] && param1 == self[1] {
684+
self
685+
} else {
686+
folder.cx().mk_type_list(&[param0, param1])
687+
}
688+
}
644689
_ => ty::util::fold_list(self, folder, |tcx, v| tcx.mk_type_list(v)),
645690
}
646691
}

‎compiler/rustc_middle/src/ty/mod.rs‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -537,6 +537,13 @@ impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Term<'tcx> {
537537
ty::TermKind::Const(ct) => ct.try_fold_with(folder).map(Into::into),
538538
}
539539
}
540+
541+
fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, folder: &mut F) -> Self {
542+
match self.unpack() {
543+
ty::TermKind::Ty(ty) => ty.fold_with(folder).into(),
544+
ty::TermKind::Const(ct) => ct.fold_with(folder).into(),
545+
}
546+
}
540547
}
541548

542549
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Term<'tcx> {

0 commit comments

Comments
 (0)