{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ty::InstanceKind::Virtual(_def_id,"}]}
            ty::InstanceKind::Virtual(_def_id, idx) => {
            ty::InstanceKind::Intrinsic(..) => crate::mir::mono::InstanceKind::Intrinsic,
                crate::mir::mono::InstanceKind::Virtual { idx }