javac should reject ConstantValue attributes where the value disagrees with the type of the field.

It should also handle constant values outside the allowed range for the field's type (e.g. the constant value of a boolean field is stored as a CONSTANT_Integer, and the integer value could be something other than 0 or 1.)

See: http://mail.openjdk.java.net/pipermail/compiler-dev/2016-November/010498.html