ptr[1] = .... fails with "type u64 not valid slicing pointer" We generally work around the bug by slicing the pointer first.