The following verification loop in InlineTypeNode::has_phi_inputs should iterate for all field values (from Values to req()), but it stops at field_count(), that is req() - Values:

https://github.com/openjdk/valhalla/blob/49bff14fef20d3edb0e8ae5d3d2c40449d248926/src/hotspot/share/opto/inlinetypenode.cpp#L113-L114

For consistency with other code, the loop could be rewritten by iterating from 0 to field_count() and fetching the input node n via the field_value() accessor.