{"ast_node_type":"struct","tokens":[{"end":64,"kind":"keyword","start":0,"text":"span_bug!(pat.span,"}]}
            span_bug!(pat.span, "struct pattern is not an ADT");
        let ty::Adt(adt, args) = adt_ty.kind() else {
        };