{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":".format_with(\","}]}
                        .format_with(", ", |(name, ty), fmt| {
                        .filter(|(_, ty)| !ty.is_unknown())
                            fmt(&format_args!(