Wow. Apparently empty lines in rustdoc are strongly forbidden, and if you use them, the compiler will panic, and that’s working as intended.