{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// closure `f` with the instantiated value. The new placeholders can only be
    /// `binder` with placeholder variables in a new universe and then calls the
    /// named by inference variables created inside of the closure `f` or afterwards.