assert-impl

assert-impl copied to clipboard

Currently we rely on using doc test to ensure that violation of the assertion would correctly trigger compile failure. But doc test isn't really scalable, and with adding more complicated stuff (e.g. #1), we need a better way to do testing.

There is a wonderful crate compiletest_rs, but unfortunately it doesn't currently work on stable (see laumann/compiletest-rs#124), so we probably cannot use it for now...