{"ast_node_type":"variable","tokens":[{"end":37,"kind":"keyword","start":0,"text":"let"}]}
        let kind = match pat.ctor() {
        let mut subpatterns = pat.iter_fields().map(|p| self.hoist_witness_pat(p));
            &Bool(value) => PatKind::LiteralBool { value },