{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"//"}]}
                        // This takes priority.
                        // but there we do it with a different span/reason.
                        typeck_results