{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"for"}]}
    for (fr1, fr2) in universal_region_relations.known_outlives() {
    //  `known_placeholder_subset` facts.
        if fr1 != fr2 {