Exists statement on a property is no more :(

Author: Mike Fairhurst

src/cpp/TypeChecker.cpp

@@ -674,8 +674,7 @@ Type* TypeChecker::typeCheck(Node* tree) {
 					real->optional = 0;
 
 					if(tree->node_data.nodes[0]->node_type == NT_MEMBER_ACCESS) {
-						scopesymtable->pushScope();
-						scopesymtable->add(real);
+						errors->addError(new SemanticError(TYPE_ERROR, "Calling exists { } on a property is illegal as it is a shared reference and therefore might be unset amid the scope"));
 					} else {
 						scopesymtable->addOverwriting(real);
 					}

src/cpp/test/ParseTreeTraverserTest.cpp

@@ -2348,4 +2348,14 @@ PTT_TEST_CASE(
 	PTT_EXPECT(SYMBOL_ALREADY_DEFINED)
 );
 
+PTT_TEST_CASE(
+	TestExistsOnAPropertyIsDisallowed,
+	"every MyClass is:						\n\
+		with Num? = nothing;				\n\
+		callExistsOnProperty() {			\n\
+			if Num exists {}				\n\
+		}",
+	PTT_EXPECT(TYPE_ERROR)
+);
+
 BOOST_AUTO_TEST_SUITE_END()

src/wake/test/SimpleGeneric.wk

@@ -24,8 +24,9 @@ every SimpleGeneric{T1, T2} is:
 	}
 
 	T1 -- getT1Otherwise($T1) {
-		if T1 exists {
-			return T1;
+		var $$T1? = T1;
+		if $$T1 exists {
+			return $$T1;
 		}
 		return $T1;
 	}
@@ -35,8 +36,9 @@ every SimpleGeneric{T1, T2} is:
 	}
 
 	T2 -- getT2Otherwise($T2) {
-		if T2 exists {
-			return T2;
+		var $$T2? = T2;
+		if $$T2 exists {
+			return $$T2;
 		}
 		return $T2;
 	}