blob: 96a87cfa7c7ecfc52f3374e8e8a711d27a4c24b0 [file] [log] [blame]
// RUN: %target-typecheck-verify-swift
// REQUIRES: OS=macosx
if #available(OSX 10.51, *) {
}
// Disallow use as an expression.
if (#available(OSX 10.51, *)) {} // expected-error {{#available may only be used as condition of an 'if', 'guard'}}
let x = #available(OSX 10.51, *) // expected-error {{#available may only be used as condition of}}
(#available(OSX 10.51, *) ? 1 : 0) // expected-error {{#available may only be used as condition of an}}
if !#available(OSX 10.52, *) { // expected-error {{#available may only be used as condition of an}}
}
if let _ = Optional(5), !#available(OSX 10.52, *) { // expected-error {{#available may only be used as condition}}
}
if #available(OSX 10.51, *) && #available(OSX 10.52, *) { // expected-error {{expected ',' joining parts of a multi-clause condition}} {{28-31=,}}
}
if #available { // expected-error {{expected availability condition}} expected-error {{closure expression is unused}} expected-error {{top-level statement cannot begin with a closure expression}} expected-note {{did you mean to use a 'do' statement?}} {{15-15=do }}
}
if #available( { // expected-error {{expected platform name}} expected-error {{expected ')'}} expected-note {{to match this opening '('}}
}
if #available() { // expected-error {{expected platform name}}
}
if #available(OSX { // expected-error {{expected version number}} expected-error {{expected ')'}} expected-note {{to match this opening '('}}
}
if #available(OSX) { // expected-error {{expected version number}}
}
if #available(OSX 10.51 { // expected-error {{expected ')'}} expected-note {{to match this opening '('}} expected-error {{must handle potential future platforms with '*'}} {{24-24=, *}}
}
if #available(iDishwasherOS 10.51) { // expected-error {{unrecognized platform name 'iDishwasherOS'}}
}
if #available(iDishwasherOS 10.51, *) { // expected-error {{unrecognized platform name 'iDishwasherOS'}}
}
if #available(OSX 10.51, OSX 10.52, *) { // expected-error {{version for 'OSX' already specified}}
}
if #available(OSX 10.52) { } // expected-error {{must handle potential future platforms with '*'}} {{24-24=, *}}
if #available(OSX 10.51, iOS 8.0) { } // expected-error {{must handle potential future platforms with '*'}} {{33-33=, *}}
if #available(iOS 8.0, *) {
}
if #available(iOSApplicationExtension, unavailable) { // expected-error 2{{expected version number}}
}
// Want to make sure we can parse this. Perhaps we should not let this validate, though.
if #available(*) {
}
if #available(* { // expected-error {{expected ')' in availability query}} expected-note {{to match this opening '('}}
}
// Multiple platforms
if #available(OSX 10.51, iOS 8.0, *) {
}
if #available(OSX 10.51, { // expected-error {{expected platform name}} // expected-error {{expected ')'}} expected-note {{to match this opening '('}}
}
if #available(OSX 10.51,) { // expected-error {{expected platform name}}
}
if #available(OSX 10.51, iOS { // expected-error {{expected version number}} // expected-error {{expected ')'}} expected-note {{to match this opening '('}}
}
if #available(OSX 10.51, iOS 8.0, iDishwasherOS 10.51) { // expected-error {{unrecognized platform name 'iDishwasherOS'}}
}
if #available(iDishwasherOS 10.51, OSX 10.51) { // expected-error {{unrecognized platform name 'iDishwasherOS'}}
}
if #available(OSX 10.51 || iOS 8.0) {// expected-error {{'||' cannot be used in an availability condition}}
}
// Emit Fix-It removing un-needed >=, for the moment.
if #available(OSX >= 10.51, *) { // expected-error {{version comparison not needed}} {{19-22=}}
}
// <rdar://problem/20904820> Following a "let" condition with #available is incorrectly rejected
// Bool then #available.
if 1 != 2, #available(iOS 8.0, *) {}
// Pattern then #available(iOS 8.0, *) {
if case 42 = 42, #available(iOS 8.0, *) {}
if let _ = Optional(42), #available(iOS 8.0, *) {}
// Allow "macOS" as well.
if #available(macOS 10.51, *) {
}