1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -verify %s
// REQUIRES: objc_interop
import Foundation
struct NotClass {}
class SomeClass {}
func nsobject_as_class_cast<T>(_ x: NSObject, _: T) {
let _ = x is AnyObject.Type
let _ = x as! AnyObject.Type
let _ = x as? AnyObject.Type
let _ = x is Any.Type
let _ = x as! Any.Type
let _ = x as? Any.Type
let _ = x is SomeClass.Type
let _ = x as! SomeClass.Type
let _ = x as? SomeClass.Type
let _ = x is T.Type
let _ = x as! T.Type
let _ = x as? T.Type
let _ = x is NotClass.Type // expected-warning{{cast from 'NSObject' to unrelated type 'NotClass.Type' always fails}}
let _ = x as! NotClass.Type // expected-warning{{cast from 'NSObject' to unrelated type 'NotClass.Type' always fails}}
let _ = x as? NotClass.Type // expected-warning{{cast from 'NSObject' to unrelated type 'NotClass.Type' always fails}}
}
// <rdar://problem/20294245> QoI: Error message mentions value rather than key for subscript
func test(_ a : CFString!, b : CFString) {
let dict = NSMutableDictionary()
let object = NSObject()
dict[a] = object
dict[b] = object
}
// <rdar://problem/22507759> QoI: poor error message for invalid unsafeDowncast()
let r22507759: NSObject! = "test" as NSString
let _: NSString! = unsafeDowncast(r22507759) // expected-error {{missing argument for parameter 'to' in call}}
// rdar://problem/29496775
// https://github.com/apple/swift/issues/45907
func f_45907(f: CGFloat, n: NSNumber) {
let _ = [f].map { $0 as NSNumber }
let _ = [n].map { $0 as! CGFloat }
}
func alwaysSucceedingConditionalCasts(f: CGFloat, n: NSNumber) {
let _ = f as? NSNumber // expected-warning{{conditional cast from 'CGFloat' to 'NSNumber' always succeeds}}
let _ = n as? CGFloat
}
func optionalityReducingCasts(f: CGFloat?, n: NSNumber?) {
let _ = f as? NSNumber
let _ = f as! NSNumber // expected-warning{{forced cast from 'CGFloat?' to 'NSNumber' only unwraps and bridges; did you mean to use '!' with 'as'?}}
let _ = n as? CGFloat
let _ = n as! CGFloat
}
func optionalityMatchingCasts(f: CGFloat?, n: NSNumber?) {
let _ = f as NSNumber?
let _ = f as? NSNumber? // expected-warning{{conditional cast from 'CGFloat?' to 'NSNumber?' always succeeds}}
let _ = f as! NSNumber? // expected-warning{{forced cast from 'CGFloat?' to 'NSNumber?' always succeeds; did you mean to use 'as'?}}{{13-16=as}}
let _ = n as? CGFloat?
let _ = n as! CGFloat?
}
func optionalityMatchingCastsIUO(f: CGFloat?!, n: NSNumber?!) {
let _ = f as NSNumber?
let _ = f as? NSNumber?
let _ = f as! NSNumber? // expected-warning{{forced cast from 'CGFloat??' to 'NSNumber?' only unwraps and bridges; did you mean to use '!' with 'as'?}}
let _ = n as? CGFloat?
let _ = n as! CGFloat?
}
func optionalityMismatchingCasts(f: CGFloat, n: NSNumber, fooo: CGFloat???,
nooo: NSNumber???) {
_ = f as NSNumber?
_ = f as NSNumber??
let _ = fooo as NSNumber?? // expected-error{{'CGFloat???' is not convertible to 'NSNumber??'}}
//expected-note@-1 {{did you mean to use 'as!' to force downcast?}} {{16-18=as!}}
let _ = fooo as NSNumber???? // okay: injects extra optionals
}
func anyObjectCasts(xo: [Int]?, xooo: [Int]???, x: [Int]) {
_ = x as AnyObject
_ = x as AnyObject?
_ = xo as AnyObject
_ = xo as AnyObject?
_ = xooo as AnyObject??
_ = xooo as AnyObject???
_ = xooo as AnyObject???? // okay: injects extra optionals
}
|
