Your question as stated is exactly why there are so many pointer types. Is it a pointer to raw memory or a pointer to a type? Does it have a known size? Should

Your question as stated is exactly why there are so many pointer types. Is it a pointer to raw memory or a pointer to a type? Does it have a known size? Should it be allowed to be changed? These are all questions you have to answer in C but cannot without annotations or documentation. Languages with more expressive type systems need to map that ambiguity to something.