An indexed part-select has a width that is wider than the bounds of the array it is selecting.
logic [1:0] a; int b; logic [2:0] c = a[b+:3]; // Noncompliant: Cannot select range of 3 elements from 'logic[1:0]'