{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// the coercion, and we don't currently have a way to manage that.)
    /// records adjustments that are required on the HIR in order to perform
    pub fn coerce_predicate(