{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
    // make impls coinductive always, since they'll always need to prove their supertraits.
    // FIXME(-Znext-solver=coinductive): Adding supertraits here can be removed once we
    requirements.extend(elaborate::elaborate(