{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
            // at a location that is actually unreachable in the CFG from the introduction point,
            // flow-insensitive. Kills can actually appear in places before a loan is introduced, or
            // and these can also be encountered during time-traveling.