@@ -707,6 +707,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
707707 interp_ok ( true )
708708 }
709709 ty:: Float ( _) | ty:: Int ( _) | ty:: Uint ( _) => {
710+ // tidy-keep-sync-with=tidy-ticket-try_visit_primitive
710711 // NOTE: Keep this in sync with the array optimization for int/float
711712 // types below!
712713 self . read_scalar (
@@ -722,6 +723,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
722723 self . add_data_range_place ( value) ;
723724 }
724725 interp_ok ( true )
726+ // tidy-keep-sync-with=tidy-ticket-try_visit_primitive
725727 }
726728 ty:: RawPtr ( ..) => {
727729 let place = self . deref_pointer ( value, ExpectedKind :: RawPtr ) ?;
@@ -1188,9 +1190,10 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValueVisitor<'tcx, M> for ValidityVisitor<'rt,
11881190 }
11891191 } ;
11901192
1193+ // tidy-keep-sync-with=tidy-ticket-visit_value
11911194 // Optimization: we just check the entire range at once.
11921195 // NOTE: Keep this in sync with the handling of integer and float
1193- // types above, in `visit_primitive `.
1196+ // types above, in `try_visit_primitive `.
11941197 // No need for an alignment check here, this is not an actual memory access.
11951198 let alloc = self . ecx . get_ptr_alloc ( mplace. ptr ( ) , size) ?. expect ( "we already excluded size 0" ) ;
11961199
@@ -1230,6 +1233,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValueVisitor<'tcx, M> for ValidityVisitor<'rt,
12301233 // Also, mark this as containing data, not padding.
12311234 self . add_data_range ( mplace. ptr ( ) , size) ;
12321235 }
1236+ // tidy-keep-sync-with=tidy-ticket-visit_value
12331237 }
12341238 // Fast path for arrays and slices of ZSTs. We only need to check a single ZST element
12351239 // of an array and not all of them, because there's only a single value of a specific
0 commit comments