Remix.run Logo
wren6991 a day ago

I guess they are saying sizeof(...) should return the annotated static size rather than sizeof(int*) in this case