{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                                // This resolution error will likely be fixed by fixing a
                            if spans.iter().all(|(_, had_error)| had_error.is_err()) {
                                // syntax error in a pattern, so it is irrelevant to the user.