From 40772314fa777c8f768db3fef105414b81b9f25a Mon Sep 17 00:00:00 2001 From: Zack Slayton Date: Thu, 7 Sep 2023 13:38:25 -0400 Subject: [PATCH] Feedback from PR #620 --- src/lazy/text/buffer.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lazy/text/buffer.rs b/src/lazy/text/buffer.rs index 05d76afa..d7d45f4e 100644 --- a/src/lazy/text/buffer.rs +++ b/src/lazy/text/buffer.rs @@ -1917,6 +1917,7 @@ mod tests { mismatch_ivm("ion_1_0"); mismatch_ivm("$ion__1_0"); + mismatch_ivm("$ion_1_0_0"); mismatch_ivm("$$ion_1_0"); mismatch_ivm("$ion_FF_FF"); }