{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// within instantiated as a fresh variable. The `f` closure is
    /// inference context that contains each of the bound values
    /// invoked with the new infcx, along with the instantiated value