I've seen those sorts of things in other languages, though they're often accompanied by explanatory comments, if not a separate document. Given that these appea

I've seen those sorts of things in other languages, though they're often accompanied by explanatory comments, if not a separate document. Given that these appear to be in a test suite for Rust itself, I'm surprised that these aren't explained in the code (at least as far as I saw)