{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// inference context that contains each of the bound values
    /// Given a canonical value `C` as a starting point, create an
    /// within instantiated as a fresh variable. The `f` closure is