{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            return (span, trivial, None);
        // Even some 1-ZST fields are not allowed though, if they have `non_exhaustive`.