{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"InstanceKind::Virtual(_,"}]}
        InstanceKind::Virtual(_, num) => write!(f, " - virtual#{num}"),
        InstanceKind::Intrinsic(_) => write!(f, " - intrinsic"),
        InstanceKind::FnPtrShim(_, ty) => write!(f, " - shim({ty})"),