> On 16 May 2018, at 23:17, Dan Smith <daniel.sm...@oracle.com> wrote: > >> On May 8, 2018, at 5:08 PM, Dan Smith <daniel.sm...@oracle.com >> <mailto:daniel.sm...@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). >
That *was* the proposal; in the draft spec there is a revised 15.15, where switch expressions are added in the production for UnaryExpressionNotPlusMinus. Gavin
