[vala] non-nullable: Accessing array methods is safe when the array is null

[Luca Bruno <lucabru src gnome org>]

commit 1b08707e9ca27a52f515247a3c2c74872ed2359f
Author: Luca Bruno <lucabru src gnome org>
Date:   Wed Jun 18 21:43:51 2014 +0200

    non-nullable: Accessing array methods is safe when the array is null
    
    Partially fixes bug 728656

 vala/valamemberaccess.vala |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/vala/valamemberaccess.vala b/vala/valamemberaccess.vala
index b0c48ee..26a413c 100644
--- a/vala/valamemberaccess.vala
+++ b/vala/valamemberaccess.vala
@@ -795,7 +795,8 @@ public class Vala.MemberAccess : Expression {
                        }
 
                        if (context.experimental_non_null && instance && inner.value_type.nullable &&
-                           !(inner.value_type is PointerType) && !(inner.value_type is GenericType)) {
+                           !(inner.value_type is PointerType) && !(inner.value_type is GenericType) &&
+                               !(inner.value_type is ArrayType)) {
                                Report.error (source_reference, "Access to instance member `%s' from nullable 
reference denied".printf (symbol_reference.get_full_name ()));
                        }