{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                    // e.g., a (mutable) borrow of `a[5]` while we read the
                    //
                    // array length of `a`.