From: Lorenz Wildberg <lorenz@wild-fisch.de>
Date: Sat, 29 Jul 2023 14:12:42 +0000 (+0300)
Subject: Add test for compact classes
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b2937c6a91721afbe3323d9778df6ea4f0ab1a6d;p=thirdparty%2Fvala.git

Add test for compact classes
---

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 205350b71..319aac4d8 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -843,6 +843,7 @@ TESTS = \
 	generics/method-to-delegate-incompatible-3.test \
 	generics/multiple-classes-constraints.test \
 	generics/no-generic-args.vala \
+	generics/no-generic-args-compact-class.vala \
 	generics/no-generic-args-function.vala \
 	generics/no-generic-args-use-with-proper-generic-type.test \
 	generics/no-generic-args-use-with-proper-generic-type-2.test \
diff --git a/tests/generics/no-generic-args-compact-class.vala b/tests/generics/no-generic-args-compact-class.vala
new file mode 100644
index 000000000..95a97b483
--- /dev/null
+++ b/tests/generics/no-generic-args-compact-class.vala
@@ -0,0 +1,25 @@
+
+void main () {
+	var b = new Baz<Bar> ();
+	unowned Bar z = b.test ();
+}
+
+[Compact]
+class Foo {
+	public int l;
+}
+
+[Compact]
+class Bar : Foo {
+	public void t () {
+	}
+}
+
+[CCode (no_generic_args=true)]
+class Baz<J> : Object where J : Foo {
+	J x;
+
+	public unowned J test () {
+		return this.x;
+	}
+}