From 1ceedac2340cce2c7c4551962f5de3ba8aa63f41 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Fri, 4 Aug 2023 00:20:20 -0400 Subject: [PATCH] tamer: span::dummy: Up to 30 dummy spans DEV-13163 --- tamer/src/span.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/tamer/src/span.rs b/tamer/src/span.rs index 5e9a86d8..6bc82a8b 100644 --- a/tamer/src/span.rs +++ b/tamer/src/span.rs @@ -753,6 +753,16 @@ pub mod dummy { pub const S18: Span = S0.offset_add(18).unwrap(); pub const S19: Span = S0.offset_add(19).unwrap(); pub const S20: Span = S0.offset_add(20).unwrap(); + pub const S21: Span = S0.offset_add(21).unwrap(); + pub const S22: Span = S0.offset_add(22).unwrap(); + pub const S23: Span = S0.offset_add(23).unwrap(); + pub const S24: Span = S0.offset_add(24).unwrap(); + pub const S25: Span = S0.offset_add(25).unwrap(); + pub const S26: Span = S0.offset_add(26).unwrap(); + pub const S27: Span = S0.offset_add(27).unwrap(); + pub const S28: Span = S0.offset_add(28).unwrap(); + pub const S29: Span = S0.offset_add(29).unwrap(); + pub const S30: Span = S0.offset_add(30).unwrap(); } #[cfg(test)]