{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"chalk_ir::FloatTy::F64"}]}
                        chalk_ir::FloatTy::F64 => {
                        }
                            let value = value.try_into().unwrap();