{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
    // of outlives obligations here if we didn't do the same, leading to ambiguity.
    // outlives obligations when confirming impls, we would end up with a different set
    // FIXME(-Znext-solver=coinductive): Adding supertraits here can be removed once we