Propagate trapz backwards from ref.cast into the branch-y instance-of check that it emits. Similar for the jumps inside a br_on_cast[_fail]'s instance-of check. See #9437 (comment) for details. Alternatively, clean this stuff up in the mid-end: #6106
Propagate
trapzbackwards fromref.castinto the branch-y instance-of check that it emits. Similar for the jumps inside abr_on_cast[_fail]'s instance-of check. See #9437 (comment) for details. Alternatively, clean this stuff up in the mid-end: #6106