{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// Bar<'b>`). Conceptually, this is sugar for a setup where we
/// inferred (the `impl Bar<'a>` and the `impl
/// define underlying opaque types (`Foo1`, `Foo2`) and then, in