From b2937c6a91721afbe3323d9778df6ea4f0ab1a6d Mon Sep 17 00:00:00 2001
From: Lorenz Wildberg <lorenz@wild-fisch.de>
Date: Sat, 29 Jul 2023 17:12:42 +0300
Subject: [PATCH] Add test for compact classes

---
 tests/Makefile.am                             |  1 +
 .../no-generic-args-compact-class.vala        | 25 +++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 tests/generics/no-generic-args-compact-class.vala

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;
+	}
+}
-- 
2.47.2