Remove comment

tautschnig · Jun 7, 2024 · d4cc107 · d4cc107
1 parent 4d20129
commit d4cc107
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/kani-compiler/src/kani_middle/transform/check_values.rs b/kani-compiler/src/kani_middle/transform/check_values.rs
@@ -392,9 +392,6 @@ impl<'a, 'b> MirVisitor for CheckValueVisitor<'a, 'b> {
  match validity {
  Ok(ranges) if ranges.is_empty() => {}
  Ok(ranges) => {
- // TODO: try_new_ty_const_uint isn't public, and there is
- // no TyConst equivalent to try_from_uint. It's not at all
- // clear how to create a TyConst at all.
  let sz = rustc_internal::stable(Const::from_target_usize(
  self.tcx,
  target_ty.layout().unwrap().shape().size.bytes() as u64,