swift234

now that we have a type system, we can assert a trivial invariant in 
CFGGen: that Sema always produces Builtin.i1 for conditions.


Swift SVN r2939