{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                    // should be self-explanatory (i.e. a field literally doesn't implement Copy).
                    // Only note if it's not the root obligation, otherwise it's trivial and