On Monday, 23 April 2012 at 23:01:59 UTC, James Miller wrote: > Is is reasonable for the compiler to pick this up during > semantic analysis and point out this situation? Maybe... but it is important that this works: string s; if(s.length) do_something(s); since that's always right and quite common.