{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
    // outlives obligations when confirming impls, we would end up with a different set
    // be reachable when proving the former. However, since we elaborate all supertrait
    // of outlives obligations here if we didn't do the same, leading to ambiguity.