// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated
// REQUIRES: OS=windows-msvc && CPU=x86_64

import vcruntime
typealias JumpBuffer = _JBTYPE

func test_unavailable_returns_twice_function() {
  var x: JumpBuffer
  _ = _setjmp(&x) // expected-error {{'_setjmp' is unavailable in Swift: Functions that return more than once are unavailable in swift}}
}

