Denis Koroskin wrote: >> auto x = p1 - p2; >> >> What's the type of x? > > ptrdiff_t, signed counterpart of size_t Do you really want an error if you go: size_t y = p1 - p2; ?