{"ast_node_type":"import","tokens":[{"end":47,"kind":"keyword","start":0,"text":"//"}]}
    // use [`InferCtxt::enter_forall`] instead.
    // that corresponds to your use case, consider whether or not you should
    pub fn instantiate_binder_with_fresh_vars<T>(