{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// are deduced from the well-formedness of the witness's types, and are
    /// come from instantiating the binder of coroutine-witnesses. These bounds
    /// necessary because of the way we anonymize the regions in a coroutine,