RFR(XL): 6312651: Compiler should only use verified interface types for optimization

[Roland Westrelin]

Hi Vladimir,

> One more failure spotted during testing:
>
> compiler/types/TestMeetExactConstantArrays.java

Thanks for re-running testing. Here is an update webrev:

http://cr.openjdk.java.net/~roland/6312651/webrev.02/

Roland.