vala: Improve check of delegate assignments and initializers

Fixes https://gitlab.gnome.org/GNOME/vala/issues/875

3 files changed, 44 insertions, 0 deletions

diff --git a/tests/delegates/incompatible-assignment.test b/tests/delegates/incompatible-assignment.test
new file mode 100644
index 000000000..1cd8c9fac
--- /dev/null
+++ b/tests/delegates/incompatible-assignment.test
@@ -0,0 +1,15 @@
+Invalid Code
+
+[CCode (has_target = false)]
+delegate void Foo (string s);
+
+class Bar {
+	public void foo () {
+	}
+}
+
+void main () {
+	var bar = new Bar ();
+	Foo foo;
+	foo = bar.foo;
+}
diff --git a/tests/delegates/incompatible-initializer.test b/tests/delegates/incompatible-initializer.test
new file mode 100644
index 000000000..0a23d4aa9
--- /dev/null
+++ b/tests/delegates/incompatible-initializer.test
@@ -0,0 +1,14 @@
+Invalid Code
+
+[CCode (has_target = false)]
+delegate void Foo (string s);
+
+class Bar {
+	public void foo () {
+	}
+}
+
+void main () {
+	var bar = new Bar ();
+	Foo foo = bar.foo;
+}
diff --git a/tests/delegates/instance-method-to-no-target-2.test b/tests/delegates/instance-method-to-no-target-2.test
new file mode 100644
index 000000000..124fbdb5e
--- /dev/null
+++ b/tests/delegates/instance-method-to-no-target-2.test
@@ -0,0 +1,15 @@
+Invalid Code
+
+[CCode (has_target = false)]
+delegate void Foo ();
+
+class Bar {
+	public void foo () {
+	}
+}
+
+void main () {
+	var bar = new Bar ();
+	Foo foo;
+	foo = bar.foo;
+}