{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // which is `O(nt)` where `t` is the depth of type-parameter constraints,
    // right is annoying, so I am using an in-place fixed-point iteration,
    // remembering that `t` should be less than 7 in practice.