Comment by gavinray

You might show an example of how to use D's templates (if it's possible) to emulate the more complex example of computing the bounds from an input argument

  char *strncpy(char * restrict dest : count(n),
              const char * restrict src : count(n),
              size_t n) : bounds(dest, (_Array_ptr<char>)dest + n);