{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"chalk_ir::FloatTy::F16"}]}
                        chalk_ir::FloatTy::F16 | chalk_ir::FloatTy::F128 => {
                        chalk_ir::FloatTy::F64 => Owned((value as f64).to_le_bytes().to_vec()),
                            not_supported!("unstable floating point type f16 and f128");