{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"//"}]}
    // = P`.)
    // condition `S: P` must hold. (This is true if `S: S1` transitively and `S1
    scc_placeholders: IndexVec<LeakCheckScc, Option<ty::PlaceholderRegion>>,