Syntax errors due to streaming with operator

[udinator]

The SV linter is throwing unexpected errors on the with construct used in streaming operations, even though this construct is part of the LRM.
Example error message:
../src/lowrisc_dv_mem_bkdr_if_0/sram_scrambler_pkg.sv:58:28: syntax error, rejected "with" (https://github.com/google/verible).

Example test case:

module test;
  initial begin
    logic unpacked_arr [16] = '{0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1};
    logic [3:0] nibble_arr[4];
    for (int i = 0; i < 4; i++) begin
      nibble_arr[i] = {<< {unpacked_arr with [i*4 +: 4]}};
    end
  end
endmodule

[udinator]

b/181792412

[hzeller]

Context: this is LRM 11.4.14
And yes, confirmed, it is indeed missing.

[hzeller]

Also caught by sv-tests

[hzeller]

More context: this was indeed thought of but not added initially due to parser generation conflicts.
(just collecting this here as context for whoever will be working on this)