From 5965113fc8ac84b07b2c9cac4b4003efd7e6728a Mon Sep 17 00:00:00 2001
From: Julia <floc@unpromptedtirade.com>
Date: Mon, 28 Nov 2022 23:34:38 -0500
Subject: [PATCH] Add verify macros & use in one location for point conversion

---
 Cargo.lock                  |  9 +++++++++
 Cargo.toml                  |  1 +
 crates/rope/Cargo.toml      |  2 +-
 crates/rope/src/rope.rs     | 10 ++++++----
 crates/verify/Cargo.toml    | 11 +++++++++++
 crates/verify/src/verify.rs | 33 +++++++++++++++++++++++++++++++++
 6 files changed, 61 insertions(+), 5 deletions(-)
 create mode 100644 crates/verify/Cargo.toml
 create mode 100644 crates/verify/src/verify.rs

diff --git a/Cargo.lock b/Cargo.lock
index 93631697c1..550b240b65 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -4778,6 +4778,7 @@ dependencies = [
  "smallvec",
  "sum_tree",
  "util",
+ "verify",
 ]
 
 [[package]]
@@ -6844,6 +6845,14 @@ version = "0.8.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f1bddf1187be692e79c5ffeab891132dfb0f236ed36a43c7ed39f1165ee20191"
 
+[[package]]
+name = "verify"
+version = "0.1.0"
+dependencies = [
+ "backtrace",
+ "log",
+]
+
 [[package]]
 name = "version_check"
 version = "0.9.4"
diff --git a/Cargo.toml b/Cargo.toml
index 8e9814c448..1461855e22 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -52,6 +52,7 @@ members = [
     "crates/theme_selector",
     "crates/theme_testbench",
     "crates/util",
+    "crates/verify",
     "crates/vim",
     "crates/workspace",
     "crates/zed",
diff --git a/crates/rope/Cargo.toml b/crates/rope/Cargo.toml
index 0f754c1fb3..fb7836fab8 100644
--- a/crates/rope/Cargo.toml
+++ b/crates/rope/Cargo.toml
@@ -12,7 +12,7 @@ smallvec = { version = "1.6", features = ["union"] }
 sum_tree = { path = "../sum_tree" }
 arrayvec = "0.7.1"
 log = { version = "0.4.16", features = ["kv_unstable_serde"] }
-
+verify = { path = "../verify" }
 
 [dev-dependencies]
 rand = "0.8.3"
diff --git a/crates/rope/src/rope.rs b/crates/rope/src/rope.rs
index d4ee894310..03810be0b9 100644
--- a/crates/rope/src/rope.rs
+++ b/crates/rope/src/rope.rs
@@ -12,6 +12,7 @@ use std::{
     str,
 };
 use sum_tree::{Bias, Dimension, SumTree};
+use verify::{verify, verify_not};
 
 pub use offset_utf16::OffsetUtf16;
 pub use point::Point;
@@ -680,10 +681,11 @@ impl Chunk {
         let mut offset = 0;
         let mut point = Point::new(0, 0);
         for ch in self.0.chars() {
-            if point >= target {
-                if point > target {
-                    panic!("point {:?} is inside of character {:?}", target, ch);
-                }
+            verify_not!(point > target, ("point {:?} is inside of character {:?}", target, ch), else {
+                point = target;
+            });
+
+            if point == target {
                 break;
             }
 
diff --git a/crates/verify/Cargo.toml b/crates/verify/Cargo.toml
new file mode 100644
index 0000000000..72d64511f3
--- /dev/null
+++ b/crates/verify/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "verify"
+version = "0.1.0"
+edition = "2021"
+
+[lib]
+path = "src/verify.rs"
+
+[dependencies]
+backtrace = "0.3"
+log = "0.4"
diff --git a/crates/verify/src/verify.rs b/crates/verify/src/verify.rs
new file mode 100644
index 0000000000..9e1a4a5c89
--- /dev/null
+++ b/crates/verify/src/verify.rs
@@ -0,0 +1,33 @@
+pub use backtrace::Backtrace;
+
+#[macro_export]
+macro_rules! verify {
+    ( $expression:expr, else $block:expr ) => {
+        verify!($expression, (""), else $block)
+    };
+
+    ( $expression:expr, ( $($fmt_arg:tt)* ), else $block:expr ) => {{
+        let verify_str = stringify!($expression);
+
+        if !$expression {
+            if cfg!(debug_assertions) {
+                panic!("Claim failed {:?}: {}", verify_str, format_args!($($fmt_arg)*));
+            } else {
+                let backtrace = $crate::Backtrace::new();
+                log::error!("Claim failed {:?}\n{:?}", verify_str, backtrace);
+                $block
+            }
+        }
+    }};
+}
+
+#[macro_export]
+macro_rules! verify_not {
+    ( $expression:expr, else $block:expr ) => {
+        verify_not!($expression, (""), else $block)
+    };
+
+    ( $expression:expr, ( $($fmt_arg:tt)* ), else $block:expr ) => {
+        verify!(!$expression, ( $($fmt_arg)* ), else $block)
+    };
+}