mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
f8c6e46e03
of providing contextual diagnostics (e.g. producing the warning in Constraints/dynamic_lookup.swift). This drops a specific diagnostic about force casting the result of as! which was added in the Swift 1.2 timeframe to explain the change in cast semantics. Now that as! has been around for a long time, it is more confusing than helpful. Swift SVN r31887
66 lines
3.0 KiB
Swift
66 lines
3.0 KiB
Swift
// RUN: %target-parse-verify-swift
|
|
|
|
struct S {
|
|
var x: Int = 0
|
|
let y: Int = 0 // expected-note 4 {{change 'let' to 'var' to make it mutable}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}}
|
|
|
|
init() {}
|
|
}
|
|
|
|
struct T {
|
|
var mutS: S? = nil
|
|
let immS: S? = nil // expected-note 10 {{change 'let' to 'var' to make it mutable}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}}
|
|
|
|
init() {}
|
|
}
|
|
|
|
var mutT: T?
|
|
let immT: T? = nil // expected-note 4 {{change 'let' to 'var' to make it mutable}} {{1-4=var}} {{1-4=var}} {{1-4=var}} {{1-4=var}}
|
|
|
|
let mutTPayload = mutT!
|
|
|
|
mutT! = T()
|
|
mutT!.mutS = S()
|
|
mutT!.mutS! = S()
|
|
mutT!.mutS!.x = 0
|
|
mutT!.mutS!.y = 0 // expected-error{{cannot assign to property: 'y' is a 'let' constant}}
|
|
mutT!.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
mutT!.immS! = S() // expected-error{{cannot assign through '!': 'immS' is a 'let' constant}}
|
|
mutT!.immS!.x = 0 // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
mutT!.immS!.y = 0 // expected-error{{cannot assign to property: 'y' is a 'let' constant}}
|
|
|
|
immT! = T() // expected-error{{cannot assign through '!': 'immT' is a 'let' constant}}
|
|
immT!.mutS = S() // expected-error{{cannot assign to property: 'immT' is a 'let' constant}}
|
|
immT!.mutS! = S() // expected-error{{cannot assign through '!': 'immT' is a 'let' constant}}
|
|
immT!.mutS!.x = 0 // expected-error{{cannot assign to property: 'immT' is a 'let' constant}}
|
|
immT!.mutS!.y = 0 // expected-error{{cannot assign to property: 'y' is a 'let' constant}}
|
|
immT!.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
immT!.immS! = S() // expected-error{{cannot assign through '!': 'immS' is a 'let' constant}}
|
|
immT!.immS!.x = 0 // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
immT!.immS!.y = 0 // expected-error{{cannot assign to property: 'y' is a 'let' constant}}
|
|
|
|
var mutIUO: T! = nil
|
|
let immIUO: T! = nil // expected-note 2 {{change 'let' to 'var' to make it mutable}} {{1-4=var}} {{1-4=var}}
|
|
|
|
mutIUO!.mutS = S()
|
|
mutIUO!.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
immIUO!.mutS = S() // expected-error{{cannot assign to property: 'immIUO' is a 'let' constant}}
|
|
immIUO!.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
|
|
mutIUO.mutS = S()
|
|
mutIUO.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
immIUO.mutS = S() // expected-error{{cannot assign to property: 'immIUO' is a 'let' constant}}
|
|
immIUO.immS = S() // expected-error{{cannot assign to property: 'immS' is a 'let' constant}}
|
|
|
|
func foo(x: Int) {}
|
|
|
|
var nonOptional: S = S()
|
|
_ = nonOptional! // expected-error{{cannot force unwrap value of non-optional type 'S'}} {{16-17=}}
|
|
_ = nonOptional!.x // expected-error{{cannot force unwrap value of non-optional type 'S'}} {{16-17=}}
|
|
|
|
class C {}
|
|
class D: C {}
|
|
|
|
let c = C()
|
|
let d = (c as! D)! // expected-error{{cannot force unwrap value of non-optional type 'D'}} {{18-19=}}
|