{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// (We may refactor this in the future, but there are a number of
    ///
    /// practical obstacles. Among other things, `FnCtxt::coerce` presently