From: Timm Bäder <mail@baedert.org>
Date: Sat, 5 Nov 2016 15:31:33 +0000 (+0100)
Subject: memberaccess: Don't check for nullability
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1520be13650c1f41f596db5670b2e9727e2b165e;p=thirdparty%2Fvala.git

memberaccess: Don't check for nullability

wheter an access is nullable or not depends on the flow graph, so leave
this to the FlowAnalyzer.
---

diff --git a/vala/valamemberaccess.vala b/vala/valamemberaccess.vala
index 6911bef65..a40767d2d 100644
--- a/vala/valamemberaccess.vala
+++ b/vala/valamemberaccess.vala
@@ -797,12 +797,6 @@ 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 ArrayType)) {
-				Report.error (source_reference, "Access to instance member `%s' from nullable reference denied".printf (symbol_reference.get_full_name ()));
-			}
-
 			var m = symbol_reference as Method;
 			var inner_ma = inner as MemberAccess;
 			if (m != null && m.binding == MemberBinding.STATIC && m.parent_symbol is ObjectTypeSymbol &&