Comment by Dominique d'Argent (JIRA)

I made some progress on this, such that it handles the example above correctly:

struct C {
  let a: Int
  let b: Int // note: 'self.b' not initialized
  init?(x: Int, y: Int) {
    self.a = x
    if y == 42 {
      return // error: return from initializer without initializing all stored properties
    }
    // many lines later
    self.b = y
  }
}

However, it currently produces wrong diagnostics in cases where the early return is actually on the "good path":

struct C {
  let a: Int
  let b: Int // note: 'self.b' not initialized
  init?(x: Int, y: Int) {
    self.a = x
    if y == 42 {
      self.b = y
      return // error: return from initializer without initializing all stored properties <-- WRONG!
    }
    // many lines later
  }
}

I probably have to figure out which is the "bad path" by using the `getLivenessAtInst` function and check if there are any unintiialized members.
I'll try to get a PR ready by tomorrow evening.

Disclaimer: I am a complete beginner!

Comment by Dominique d'Argent (JIRA)

Ok, figured it out. PR submitted: #2540

Good job nubbel (JIRA User) 🙂. Please resolve the issue now that your patch is merged!

Comment by Dominique d'Argent (JIRA)

Thanks!