1// RUN: %swift -typecheck %s -verify -target arm64-apple-ios7.0 -parse-stdlib
2// RUN: %swift-ide-test -test-input-complete -source-filename=%s -target arm64-apple-ios7.0
3
4#if os(tvOS) || os(watchOS)
5// This block should not be type checked.
6// os(iOS) does not imply os(TVOS) or os(watchOS).
7let i: Int = "Hello"
8#endif
9
10#if arch(arm64) && os(iOS) && _runtime(_ObjC) && _endian(little) && _pointerBitWidth(_64)
11#if _hasAtomicBitWidth(_8) && _hasAtomicBitWidth(_16) && _hasAtomicBitWidth(_32) && _hasAtomicBitWidth(_64) && _hasAtomicBitWidth(_128)
12class C {}
13var x = C()
14#endif
15#endif
16var y = x
17
18#if os(anyAppleOS)
19// os(iOS) implies os(anyAppleOS)
20func hasAnyAppleOS() { }
21#endif
22hasAnyAppleOS()
23