mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
53 lines
2.0 KiB
Swift
53 lines
2.0 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
struct S {
|
|
var x: Int = 0
|
|
let y: Int = 0 // expected-note 3 {{change 'let' to 'var' to make it mutable}} {{3-6=var}} {{3-6=var}} {{3-6=var}}
|
|
|
|
mutating func mutateS() {}
|
|
|
|
init() {}
|
|
}
|
|
|
|
struct T {
|
|
var mutS: S? = nil
|
|
let immS: S? = nil // expected-note 4 {{change 'let' to 'var' to make it mutable}} {{3-6=var}} {{3-6=var}} {{3-6=var}} {{3-6=var}}
|
|
|
|
mutating func mutateT() {}
|
|
|
|
init() {}
|
|
}
|
|
|
|
var mutT: T?
|
|
let immT: T? = nil // expected-note {{change 'let' to 'var' to make it mutable}} {{1-4=var}}
|
|
|
|
postfix operator ++
|
|
prefix operator ++
|
|
|
|
public postfix func ++ <T>(rhs: inout T) -> T { fatalError() }
|
|
public prefix func ++ <T>(rhs: inout T) -> T { fatalError() }
|
|
|
|
mutT?.mutateT()
|
|
immT?.mutateT() // expected-error{{cannot use mutating member on immutable value: 'immT' is a 'let' constant}}
|
|
mutT?.mutS?.mutateS()
|
|
mutT?.immS?.mutateS() // expected-error{{cannot use mutating member on immutable value: 'immS' is a 'let' constant}}
|
|
mutT?.mutS?.x += 1
|
|
mutT?.mutS?.y++ // expected-error{{cannot pass immutable value to mutating operator: 'y' is a 'let' constant}}
|
|
|
|
// Prefix operators don't chain
|
|
++mutT?.mutS?.x // expected-error{{cannot pass immutable value of type 'Int?' to mutating operator}}
|
|
++mutT?.mutS?.y // expected-error{{cannot pass immutable value of type 'Int?' to mutating operator}}
|
|
|
|
mutT? = T()
|
|
mutT?.mutS = S()
|
|
mutT?.mutS? = S()
|
|
mutT?.mutS?.x += 0
|
|
_ = mutT?.mutS?.x + 0 // expected-error{{value of optional type 'Int?' must be unwrapped}}
|
|
// expected-note@-1{{coalesce}}
|
|
// expected-note@-2{{force-unwrap}}
|
|
mutT?.mutS?.y -= 0 // expected-error{{left side of mutating operator isn't mutable: '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 to value: 'immS' is a 'let' constant}}
|
|
mutT?.immS?.x += 0 // expected-error{{left side of mutating operator isn't mutable: 'immS' is a 'let' constant}}
|
|
mutT?.immS?.y -= 0 // expected-error{{left side of mutating operator isn't mutable: 'y' is a 'let' constant}}
|