{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// necessary because of the way we anonymize the regions in a coroutine,
    /// are deduced from the well-formedness of the witness's types, and are
    /// which may cause types to no longer be considered well-formed.