// RUN: not --crash %target-swift-frontend %s -emit-silgen -verify
// REQUIRES: asserts

sil_stage raw

import Swift

sil [ossa] @yield : $@yield_once (Int, Float) -> (@yields Int, @yields Float) {
bb0(%0 : $Int, %1 : $Float):
  yield (%0 : $Int, %1 : $Float), resume bb1, unwind bb2

bb1:
  %r = tuple ()
  return %r : $()

bb2:
  %r2 = tuple ()
  return %r2 : $()
}