> On May 8, 2018, at 5:08 PM, Dan Smith <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).
