{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"//"}]}
    // unlike NLLs.
    // that outlives a free region are not necessarily live everywhere in a flow-sensitive setting,
    // We do record these regions in the polonius context, since they're used to differentiate