// RUN: %target-typecheck-verify-swift | |
// REQUIRES: OS=windows-msvc | |
import MSVCRT | |
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}} | |
} | |