mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
39f4e38027
Stored `let` properties of a struct, class, or actor permit 'inout' modification within the constructor body after they have been initialized. Tentatively remove this rule, only allowing such `let` properties to be initialized (assigned to) and not treated as `inout`. Fixes rdar://127258363.
28 lines
525 B
Swift
28 lines
525 B
Swift
// RUN: %target-swift-frontend -emit-sil -verify %s
|
|
|
|
// rdar://problem/29716016 - Check that we properly enforce DI on `let`
|
|
// variables and class properties.
|
|
|
|
protocol P { }
|
|
|
|
extension P {
|
|
mutating func foo() {}
|
|
var bar: Int { get { return 0 } set {} }
|
|
}
|
|
|
|
class ImmutableP {
|
|
let field: P // expected-note* {{}}
|
|
|
|
init(field: P) {
|
|
self.field = field
|
|
self.field.bar = 4 // expected-error{{}}
|
|
}
|
|
}
|
|
|
|
func immutableP(field: P) {
|
|
let x: P // expected-note* {{}}
|
|
|
|
x = field
|
|
x.bar = 4 // expected-error{{}}
|
|
}
|