{"ast_node_type":"impl","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
        // type Foo<'a> = impl PartialEq<Foo<'a>>;
        // The opaque type may be nested within itself via recursion in e.g.
        // which thus mentions `'a` and should thus accept hidden types that borrow 'a