{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // e.g. checking for reachability in the subset graph through invariance constraints
        // unreachable from the loan's introduction point, as they would stop traversal when
        // higher up.