Nilstrieb fe9d422e7b Remove trivial cast in guaranteed_eq
I found this while accidentally breaking trivial casts in another
branch.
2023-10-15 12:33:44 +02:00
..
fix
2023-07-23 09:58:31 +00:00
2023-10-15 12:33:44 +02:00