On Monday, 27 November 2017 at 16:04:14 UTC, Dukc wrote:
Debatable in this case. Consider:string servicePhoneNumber; final switch (car.manufacturer) //an enumerated value.
Well, the compiler can see it is initialized before being read again later, so that *should* pass the check (at least conservatively- the spec is flexible enough to let the compiler not catch them all).