{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
                // NOTE: *reservations* do conflict with themselves;
                //
                // thus aren't injecting unsoundness w/ this check.)