There are two validations that should be added when a reference value contains arrays in the path. Consider the following model:
ps1::def1 => reference (f1);
ps1::def2 => reference (f2[4 .. 5]);
There should be an error for def1 because the value contains an index, but f1 doesn't have a size. Additionally, there should be a warning for def2 stating that array ranges will not be properly instantiated.
The text was updated successfully, but these errors were encountered: