Commits
Roman Levenstein committed 6f3cfaf764e
Improve comments for my previous commit. NFC. Provide an explanation about when it is safe to jump-thread the checked_cast_br even if the dominating instruction and the current instruction do not have the same "exactness". Swift SVN r25649