You understood it right, Joe.

The line looks simple, should always be "true" in theory.
But, in practice, it compiles and there is no error message.

The result is "false".

That was my point.