[P1296R0](https://wg21.link/p1296r0) assert: std::disjoint(A,nA, B,nB): Contract assertions as an alternate spelling of ‘restrict’ (Phil Miller, Justin Szaday)