Pragmas suck. What I want is to explicitly assert the condition: assert(a+n < b || b+m < a); (saying that a[0..n] and b[0..m] don't alias) and have the comp

Pragmas suck. What I want is to explicitly assert the condition: assert(a+n < b || b+m < a); (saying that a[0..n] and b[0..m] don't alias) and have the compiler generate code that first tests the condition and generates optimized code given the assumption.