{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// However, typeck and borrowck for opaques work based on using a new generic type.
    /// HIR tells us that `'a` refer to the lifetime bound on `foo`.
    /// `type MyAnonTy<'b> = impl MyTrait<'b>;`