contract C {
    function f (uint256[] calldata x) external pure {
        x.length = 42;
    }
}
// ----
// TypeError 7567: (75-83): Member "length" is read-only and cannot be used to resize arrays.
