On 9/17/20 6:37 PM, Eric Lengyel via Std-Proposals wrote:

> Standard C++ does not include the “restrict” qualifier from C, and many
> serious problems arise when attempting to properly incorporate it into
> the C++ language. The following proposal introduces a superior
> alternative in the form of a “disjoint” qualifier that functions
> differently in several important ways. The disjoint qualifier is a clean
> and natural fit within the established design of the C++ language, and
> it adds type-safe aliasing controls in a backward-compatible manner.
>
> http://terathon.com/disjoint_lengyel.pdf
>
> Please discuss.

That seems useful.
It would be interesting to do some bibliography study, for example by
comparing to the references at the end of
http://lists.llvm.org/pipermail/llvm-dev/2019-October/135672.html

-- 
Ronan KERYELL, Xilinx Research Labs / San José, California.