Closed
Description
For visiting, I've identified these two examples:
rust/src/librustc/traits/structural_impls.rs
Lines 256 to 274 in 5aa8f19
Lines 976 to 990 in 5aa8f19
(the latter would need to handle
ty::ConstKind::Unevaluated
the same way ty::Projection
is handled, as "unevaluated" consts are effectively projections)
For folding, I've listed one missing fold_const
and two which are missing some recursion, in #70125 (comment).