{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"FloatTy::F128"}]}
            FloatTy::F128 => rustc_ty::FloatTy::F128,
            FloatTy::F64 => rustc_ty::FloatTy::F64,
        }