{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
    // FIXME(-Znext-solver=coinductive): Adding supertraits here can be removed once we
    // of outlives obligations here if we didn't do the same, leading to ambiguity.
    // make impls coinductive always, since they'll always need to prove their supertraits.