{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// `binder` with placeholder variables in a new universe and then calls the
    /// Replaces all bound variables (lifetimes, types, and constants) bound by
    /// closure `f` with the instantiated value. The new placeholders can only be