{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"}"}]}
    } else if let ty::InstanceKind::Virtual(def_id, _) = instance.def {
        instance.args = tcx.mk_args_trait(self_ty, List::empty());
        // Transform self into a trait object of the trait that defines the method for virtual