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