{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                            // provide a pinning suggestion.
                            // We don't quite know what the users' code looks like, so we don't
                            err.span_help(