{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"//"}]}
    //  `known_placeholder_subset` facts.
    // 2: the universal region relations `outlives` constraints are emitted as
    for (fr1, fr2) in universal_region_relations.known_outlives() {