[ClavaAst] Makes ArrayType return constant if the element is constant
@@ -127,4 +127,9 @@ public abstract class ArrayType extends Type {
return Arrays.asList(ELEMENT_TYPE);
}
+ @Override
+ public boolean isConst() {
+
+ return get(ELEMENT_TYPE).isConst();
+ }
}
