{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
            // `check_pat` for some details.
            // scrutinee. This is sort of a workaround, see note (*) in
            let scrut_ty = self.next_ty_var(scrut.span);