{"ast_node_type":"impl","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
/// RPITIT actually satisfy the bounds of the `impl Trait`, i.e. that if we infer
/// The method is also responsible for making sure that the hidden types for each
/// `impl Trait = Foo`, that `Foo: Trait` holds.