rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2011-08-02	In trans, don't assume both sides of a binop have the same type	Tim Chevalier	-0/+3
	This was at least partially responsible for Issue 777. The only solution I can think of is for trans to just not generate code for a comparison if one or both sides has type _\|_. Since that means evaluating that subexpression diverges, it should be ok to never do the comparison. Actually generating code for the comparison would trip an LLVM assertion failure.