{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
    /// sub-obligations that result in errors.
    /// Returns false if the coercion is not possible, or if the coercion creates any
    ///