{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // bounds are not stronger -- we're doing a simple, syntactic compatibility
    // too, since we *do not* use the trait solver to prove that the RPITIT's
    // check between bounds. This is strictly forwards compatible, though.