Init accessors affect initialization of Optionals

[CrystDragon]

Description

This code compiles fine:

struct A {
  let a: Int?
  init() {
    self.a = 10
  }
}

But when using an init accessor to wrap the original property, the compiler will emit an error:

struct AA {
  let a: Int?
  var aa: Int? {
    get {
      a
    }
    @storageRestrictions(initializes: a)
    init {
      a = newValue
    }
  }
  init() {
    self.a = 10  // Error: Immutable value 'self.a' may only be initialized once
  }
}

Note that neither self.a = 10 nor self.aa = 10 is permitted by the compiler.

The above behaviors are inconsistent.

Reproduction

The latter code snippet in "Description".

Expected behavior

No compiler errors.

Environment

• Apple Swift version 5.10 (swiftlang-5.10.0.13 clang-1500.3.9.4)
• Xcode 15.3 (15E204a)

Additional information

No response