From c982742712d3736ebd459aa6f2394710b725e177 Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Sun, 15 Dec 2024 20:51:13 -0800 Subject: [PATCH] Update crates/flux-fhir-analysis/src/conv/mod.rs Co-authored-by: Nico Lehmann --- crates/flux-fhir-analysis/src/conv/mod.rs | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/crates/flux-fhir-analysis/src/conv/mod.rs b/crates/flux-fhir-analysis/src/conv/mod.rs index 0a2399eeb1..20d9fe18c1 100644 --- a/crates/flux-fhir-analysis/src/conv/mod.rs +++ b/crates/flux-fhir-analysis/src/conv/mod.rs @@ -388,27 +388,6 @@ pub(crate) fn conv_constant_expr( let mut cx = AfterSortck::new(genv, wfckresults).into_conv_ctxt(); let mut env = Env::new(&[]); Ok(rty::ConstantInfo::Interpreted(cx.conv_expr(&mut env, expr)?, sort)) - // let ty = genv.tcx().type_of(def_id).no_bound_vars().unwrap(); - // match expr { - // Some(expr) => Ok(rty::ConstantInfo::Interpreted(cx.conv_expr(&mut env, expr)?, sort)), - // None => { - // if ty.is_integral() { - // let val = genv.tcx().const_eval_poly(def_id).ok().and_then(|val| { - // let val = val.try_to_scalar_int()?; - // rty::Constant::from_scalar_int(genv.tcx(), val, &ty) - // }); - // if let Some(constant_) = val { - // return Ok(rty::ConstantInfo::Interpreted( - // rty::Expr::constant(constant_), - // rty::Sort::Int, - // )); - // } - // // FIXME(nilehmann) we should probably report an error in case const evaluation - // // fails instead of silently ignore it. - // } - // Ok(rty::ConstantInfo::Uninterpreted) - // } - // } } pub(crate) fn conv_defn(