This is useful when checking diagnostics and annotations that are only enabled in asserts mode. Today we can only test the positive case (when asserts are enabled) but not the negative case.
I don't understand the requested change...
We already have the ability to say 'REQUIRES: asserts' when checking things only enabled in asserts builds.
It sounds like you want to check for things only enabled in *no-*asserts builds? I'm surprised any such things exist. My inclination is to say "we shouldn't have no-asserts emit data that we don't emit in asserts".