{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// new placeholders can only be named by inference variables created after
    /// `binder` with placeholder variables in a new universe. This means that the
    /// this method has been called.