{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// The `path` may be pushed to, but the part that is present when a function
struct ValidityVisitor<'rt, 'tcx, M: Machine<'tcx>> {
    /// starts must not be changed!  `visit_fields` and `visit_array` rely on