RFR(S): type system fix

[Tobias Hartmann]

Hi Roland,

On 05.06.2018 14:20, Roland Westrelin wrote:
> We have a nice invariant that values are either constant null or a value
> type node. I think we should try to keep it that way. What about this:
> 
> http://cr.openjdk.java.net/~roland/valhalla/lworld-typesystem-fix/webrev.01/
> 
> The interface call resolution code needed some adjustment too.

That's much better. Thanks for fixing!

Best regards,
Tobias