{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"instance.args"}]}
        instance.args = tcx.mk_args_trait(self_ty, List::empty());
        let self_ty = Ty::new_dynamic(tcx, predicates, tcx.lifetimes.re_erased, ty::Dyn);
    } else if let ty::InstanceKind::Virtual(def_id, _) = instance.def {