{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"instance.args"}]}
        instance.args = tcx.mk_args_trait(invoke_ty, trait_ref.args.into_iter().skip(1));
        let invoke_ty = trait_object_ty(tcx, ty::Binder::dummy(trait_ref));
    }