{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"virtual_instance:"}]}
        virtual_instance: ty::Instance<'tcx>,
        def_id: DefId,
        concrete_instance: ty::Instance<'tcx>,