{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// but it's not as flexible as `FnCtxt::coerce` would be.
    /// actually requiring `a <: b`. This is of course a valid coercion,
    ///