Report error when using instance method as argument in static methods

Fixes bug 598839.

1 files changed, 9 insertions, 0 deletions

diff --git a/vala/valasemanticanalyzer.vala b/vala/valasemanticanalyzer.vala
index 130e2ca4d..818ea7d50 100644
--- a/vala/valasemanticanalyzer.vala
+++ b/vala/valasemanticanalyzer.vala
@@ -566,6 +566,15 @@ public class Vala.SemanticAnalyzer : CodeVisitor {
 				}
 			}
 		}
+		var ma = arg as MemberAccess;
+		if (ma != null && ma.prototype_access) {
+			// allow prototype access if target type is delegate without target
+			var deleg_type = arg.target_type as DelegateType;
+			if (deleg_type == null || deleg_type.delegate_symbol.has_target) {
+				Report.error (arg.source_reference, "Access to instance member `%s' denied".printf (arg.symbol_reference.get_full_name ()));
+			}
+			return false;
+		}
 		return true;
 	}