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