Hi,

I’m checking the solution currently an I am a bit confused about the type check in i.).

If I look into the C0p Static Semantics Reference it states that in the [PtrArith] Rule, the left Expresion can only have a type of *k** and when I look at the types, that tells me, that *k* is a Scalar Type and **void** ist **not** a Scalar Type, so I don’t understand, how this is well-typed.

Can someone explain, what I’m not understanding here?

Thanks in advance!