diff options
| -rw-r--r-- | src/checker_state.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index 7590457..19a7c51 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -108,7 +108,6 @@ impl CheckerState { set_a == set_b } - #[instrument(skip(self), level = "debug")] fn assert_unbound_set(&self, name: &String) -> Result<(), CheckerError> { if self.wf_sets.contains_key(name) { Err(CheckerError::Rebinding(name.clone())) @@ -117,7 +116,6 @@ impl CheckerState { } } - #[instrument(skip(self), level = "debug")] fn assert_unbound_element(&self, name: &String) -> Result<(), CheckerError> { if self.wf_elements.contains_key(name) { Err(CheckerError::Rebinding(name.clone())) @@ -208,6 +206,7 @@ impl CheckerState { Ok(()) } + #[instrument(skip(self), level = "debug", fields(%name, %element, %set))] pub fn add_element( &mut self, name: String, |