{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    (" { ", " }", path.span().shrink_to_hi().until(pat.span.shrink_to_hi()))
                _ => return err,