mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
42d53dc414
<rdar://problem/18397777> QoI: special case comparisons with nil <rdar://problem/18042123> QoI: Fixit for "if !optional" should suggest "if optional == nil" Swift SVN r31204
55 lines
2.6 KiB
Swift
55 lines
2.6 KiB
Swift
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -parse -I %S/Inputs/custom-modules %s -import-underlying-module -verify
|
|
|
|
// REQUIRES: objc_interop
|
|
|
|
import CoreCooling
|
|
|
|
func testSomeClass(sc: SomeClass, osc: SomeClass?) {
|
|
var ao1: AnyObject = sc.methodA(osc)
|
|
if sc.methodA(osc) == nil { } // expected-error{{value of type 'AnyObject' can never be nil, comparison isn't allowed}}
|
|
|
|
var ao2: AnyObject = sc.methodB(nil)
|
|
if sc.methodA(osc) == nil { } // expected-error{{value of type 'AnyObject' can never be nil, comparison isn't allowed}}
|
|
|
|
var ao3: AnyObject = sc.property // expected-error{{value of optional type 'AnyObject?' not unwrapped; did you mean to use '!' or '?'?}} {{35-35=!}}
|
|
var ao3_ok: AnyObject? = sc.property // okay
|
|
|
|
var ao4: AnyObject = sc.methodD()
|
|
if sc.methodD() == nil { } // expected-error{{value of type 'AnyObject' can never be nil, comparison isn't allowed}}
|
|
|
|
sc.methodE(sc)
|
|
sc.methodE(osc) // expected-error{{value of optional type 'SomeClass?' not unwrapped; did you mean to use '!' or '?'?}} {{17-17=!}}
|
|
|
|
sc.methodF(sc, second: sc)
|
|
sc.methodF(osc, second: sc) // expected-error{{value of optional type 'SomeClass?' not unwrapped; did you mean to use '!' or '?'?}} {{17-17=!}}
|
|
sc.methodF(sc, second: osc) // expected-error{{value of optional type 'SomeClass?' not unwrapped; did you mean to use '!' or '?'?}} {{29-29=!}}
|
|
|
|
sc.methodG(sc, second: sc)
|
|
sc.methodG(osc, second: sc) // expected-error{{value of optional type 'SomeClass?' not unwrapped; did you mean to use '!' or '?'?}} {{17-17=!}}
|
|
sc.methodG(sc, second: osc)
|
|
|
|
let ci: CInt = 1
|
|
var sc2 = SomeClass(int: ci)
|
|
var sc2a: SomeClass = sc2
|
|
if sc2 == nil { } // expected-error{{value of type 'SomeClass' can never be nil, comparison isn't allowed}}
|
|
|
|
var sc3 = SomeClass(double: 1.5)
|
|
if sc3 == nil { } // okay
|
|
var sc3a: SomeClass = sc3 // expected-error{{value of optional type 'SomeClass?' not unwrapped}} {{28-28=!}}
|
|
|
|
var sc4 = sc.returnMe()
|
|
var sc4a: SomeClass = sc4
|
|
if sc4 == nil { } // expected-error{{value of type 'SomeClass' can never be nil, comparison isn't allowed}}
|
|
}
|
|
|
|
// Nullability with CF types.
|
|
func testCF(fridge: CCRefrigerator) {
|
|
CCRefrigeratorOpenDoSomething(fridge) // okay
|
|
CCRefrigeratorOpenDoSomething(nil) // expected-error{{nil is not compatible with expected argument type 'CCRefrigerator'}}
|
|
|
|
CCRefrigeratorOpenMaybeDoSomething(fridge) // okay
|
|
CCRefrigeratorOpenMaybeDoSomething(nil) // okay
|
|
|
|
CCRefrigeratorOpenMaybeDoSomething(5) // expected-error{{cannot convert value of type 'Int' to expected argument type 'CCRefrigerator?'}}
|
|
}
|