{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
    // since if we just used the unelaborated set, then the transitive supertraits would
    // Elaborating all supertrait outlives obligations here is not soundness critical,
    // be reachable when proving the former. However, since we elaborate all supertrait