Re: Should this be a compiler error?

[grauzone]

Either way, you should submit a bugzilla entry.

Why should he file a bug report for something that's not a bug?