[lworld] RFR: 8199429: [lworld] value type (re)constructors expressions value type should not be discardable [v2]

[Jesper Steen Møller]

> …be discardable as per https://bugs.openjdk.org/browse/JDK-8199429 .
> 
> This is a first stab at it, only with the manual marking on a method, and without the loading of the annotation in ClassReader.

Jesper Steen Møller has updated the pull request incrementally with one additional commit since the last revision:

  8199429: [lworld] Add error example for CheckExamples test

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

Changes:
  - all: https://git.openjdk.org/valhalla/pull/1274/files
  - new: https://git.openjdk.org/valhalla/pull/1274/files/793f07d4..c2130bd2

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1274&range=01
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1274&range=00-01

  Stats: 41 lines in 1 file changed: 41 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/valhalla/pull/1274.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1274/head:pull/1274

PR: https://git.openjdk.org/valhalla/pull/1274