{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"supports_128bit_integers:"}]}
        supports_128bit_integers: bool,
        tcx: TyCtxt<'tcx>,
        supports_f16_type: bool,