{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                // out to be equally general. See (note_1) for details.
                // `demand::subtype` would be good enough, but using `eqtype` turns