{"ast_node_type":"impl","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
/// inferred (the `impl Bar<'a>` and the `impl
/// Here, we have two `impl Trait` types whose values are being
/// Bar<'b>`). Conceptually, this is sugar for a setup where we