CheckCastPPNode::Value calls TypeAryPtr::update_properties but this is currently never executed because for oopptrs we call ConstraintCastNode::Value just before. We should re-evaluate if that code (and related code added by JDK-8251442) is still needed.

Also, originally tracked by JDK-8251968, ConstraintCastNode::dominating_cast may replace a CheckCastPPNode with a dominating one, potentially loosing not_null_free/not_flat information for array types. We should investigate if this is really an issue and add a corresponding regression test if so.