On Tue Mar 19 16:03:52 2024 +0000, Giovanni Mascellani wrote:
I see there are a few already, but I find this type of error message a bit confusing. What does it mean that an int32 pointer operand is not an int32 pointer? Maybe it should be something like "Expected an int32 pointer, got something else"?
I haven't changed this yet since it would be inconsistent with previous messages, which raises the question: should the others be changed in another MR?