There are cases where the compiler can't enforce it:

    void foo(int *p)
    {
      func(p);
    }

How can the compiler know if `p` points to space for 10 integers?