{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
            // scrutinee. This is sort of a workaround, see note (*) in
            // ...but otherwise we want to use any supertype of the
            // `check_pat` for some details.