diff options
| author | tslil <tslil@posteo.de> | 2026-04-24 14:05:05 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-27 08:48:40 +0100 |
| commit | 0ff631e7a43afa46be22f8221cc3149a7184a9ce (patch) | |
| tree | 8e5b855efd4b5192d088d5858a804dfd76e42153 /src/checker_state.rs | |
| parent | 36a9377163ecd3300f7b9ad3c4d8e93d97ce41ff (diff) | |
refactor error to be clearer
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index c4b4a3a..30f83be 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -13,8 +13,8 @@ pub enum CheckerError { Rebinding(String), #[display("The following functionality is unimplemented: {_0}")] Unimplemented(String), - #[display("Element claimed to belong to {_0} but actually belongs to {_1}")] - WrongSetForElement(Set, Set), + #[display("Element claimed to belong to {claimed} but actually belongs to {real}")] + WrongSetForElement { claimed: Set, real: Set }, #[display("Element {element} does belong to set {claimed}: {reason}")] ElementDoesNotBelong { element: Element, |