Is this what some of you are asking for?
bool a = true; // ok bool b = false; // ok bool c = 1; // error, no implicit conversion bool c = getInt(); // error? ok? int x = 42;if(x) { ... } // ok (doesn't this imply c = getInt() ok too?
if(42) { ... } // ok
