> "restrict" means "this pointer has no alias".

Jens Mueller is right, it's not just pointers, a.ptr and b.ptr are distinct but 
they refer to memory zones that are not distinct:

auto a = [1, 2, 3, 4, 5];
auto b = [1 .. 3];

Bye,
bearophile

Reply via email to