The standard library has assembly tests (and somewhat related, codegen tests) for verifying certain properties of the compiler.
Is there a way that I could use a similar setup, e.g. to verify that a specific optimization happens in release mode, or that the correct properties are passed on to LLVM or the linker? Can you recommend a crate that provides similar functionality, or some pointers on how I could set it up myself?