Redeclaration of Elements not Declared Replaceable

There are only two kinds of redeclarations that do not require the modified element to be declared replaceable: restricting the variability of a declared variable, e.g. from parameter to constant or restricting array dimension sizes, e.g. from (:) to a specified size. The following examples demonstrates these kinds of redeclarations.

C4 is equivalent to C4expanded below.

1 Simulation of C4