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