{"ast_node_type":"struct","tokens":[{"end":53,"kind":"keyword","start":0,"text":"struct"}]}
struct ValidityVisitor<'rt, 'tcx, M: Machine<'tcx>> {
    /// The `path` may be pushed to, but the part that is present when a function