I know this is a small point, but you likely mean "race condition" here. Rust already guarantees safe code to be free of "data races", and this blog post doesn't discuss unsafe in any way.

Two other points that came up while I was reading:

1. I get that this is something you did once for an internal project, but this is what macros and derive_macros are made for.

2. The AI that you used to help write the post left its mark a little too deep. The cliched phrases make an appearance at the start of every section and it really starts to grate by the end.

“The second condition falls out of the first”. Hi claude!