JEP325: Switch expressions spec

[Dan Smith]

> On May 8, 2018, at 5:08 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> Missing stuff (not necessarily a comprehensive list):
> 
> - 15.6, evaluation of a switch expression may throw (I hate maintaining these lists, but it's here, so we must maintain it)
> - 15.12.2.1, define "potentially compatible"
> - 15.12.2.5, define "more specific"
> - 15.25, categorization of conditionals with switch expression operands (ugh, one more motivation to abandon the categorization scheme)
> - 16, definite assignment (including how does a boolean selector/result get treated?)
> - 18.2.1, inference reduction
> - 18.5.2.2, searching for additional inference constraints
> - 18.5.4, "more specific" inference

Add 15.2, switch expressions don't fall into any of the previous categories of expressions (unless we're willing to call them very verbose unary expressions).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20180516/6ce073aa/attachment-0001.html>