vala: Check if ArrayType supports its given element-type in analyzer pass

diff --git a/vala/valaarraycreationexpression.vala b/vala/valaarraycreationexpression.vala
index 2282d6f809f73f4a0e854d86278873bb38ecdad4..41b0f351b2ca113c8d0a278273a48c0ab0f1cddb 100644 (file)
--- a/vala/valaarraycreationexpression.vala
+++ b/vala/valaarraycreationexpression.vala
@@ -262,6 +262,10 @@ public class Vala.ArrayCreationExpression : Expression {
                value_type = new ArrayType (element_type, rank, source_reference);
                value_type.value_owned = true;
 
+               if (!value_type.check (context)) {
+                       return false;
+               }
+
                return !error;
        }
 

diff --git a/vala/valaarraytype.vala b/vala/valaarraytype.vala
index 626c60c89954b40e965c9e7c4f3c125a55ea5b05..c1d4d7f29736490745b1ce9133c3372e7d20cc00 100644 (file)
--- a/vala/valaarraytype.vala
+++ b/vala/valaarraytype.vala
@@ -271,6 +271,17 @@ public class Vala.ArrayType : ReferenceType {
                        }
                }
 
+               if (element_type is ArrayType) {
+                       Report.error (source_reference, "Stacked arrays are not supported");
+                       return false;
+               } else if (element_type is DelegateType) {
+                       var delegate_type = (DelegateType) element_type;
+                       if (delegate_type.delegate_symbol.has_target) {
+                               Report.error (source_reference, "Delegates with target are not supported as array element type");
+                               return false;
+                       }
+               }
+
                return element_type.check (context);
        }