{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// Ideally appropriate optimizations would resolve this, but such
    /// argument, idiomatic code can be inefficient.
    /// optimizations are only done in a best-effort manner.