RFR: 8267119: switch expressions lack support for deferred type-checking

[Jan Lahoda]

Similarly to lambdas with block body looking at expression in return statements, we need `CheckStuckPolicy` to look at all `yield` values in a switch expression, to determine the types correctly, as pointed out in the bugreport.

-------------

Commit messages:
 - 8267119: switch expressions lack support for deferred type-checking

Changes: https://git.openjdk.java.net/jdk/pull/4054/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=4054&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8267119
  Stats: 44 lines in 3 files changed: 39 ins; 0 del; 5 mod
  Patch: https://git.openjdk.java.net/jdk/pull/4054.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/4054/head:pull/4054

PR: https://git.openjdk.java.net/jdk/pull/4054