{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":")"}]}
) -> u32 {
    options: TypeIdOptions,
    // A KCFI type metadata identifier is a 32-bit constant produced by taking the lower half of the