{"ast_node_type":"other","tokens":[{"end":4,"kind":"keyword","start":0,"text":"\"##,"}]}
"##,
Enable the `f16` type for  IEEE 16-bit floating numbers (half precision).
        default_severity: Severity::Allow,