Fix recursive declaration in generic base type

https://bugzilla.gnome.org/show_bug.cgi?id=688732

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 14774b5034edcade159ed4e5b03861fb54eb3f56..f0b59b9fcaf841156b9f5f813001e6eb17a6564f 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -131,6 +131,7 @@ TESTS = \
        structs/bug669580.vala \
        structs/bug685177.vala \
        structs/bug686190.vala \
+       structs/bug688732.vala \
        structs/bug690380.vala \
        structs/bug694140.vala \
        structs/bug749952.vala \

diff --git a/tests/structs/bug688732.vala b/tests/structs/bug688732.vala
new file mode 100644 (file)
index 0000000..49295d6
--- /dev/null
+++ b/tests/structs/bug688732.vala
@@ -0,0 +1,9 @@
+struct Foo<T> {
+       public T t;
+}
+
+struct Bar : Foo<Bar> {
+}
+
+void main () {
+}

diff --git a/vala/valasymbolresolver.vala b/vala/valasymbolresolver.vala
index 32c84e4c3b8a65e6714fe4236e9e17646d6873f5..db31aa0cea735b877b6059509a1eff892d7df002 100644 (file)
--- a/vala/valasymbolresolver.vala
+++ b/vala/valasymbolresolver.vala
@@ -267,6 +267,11 @@ public class Vala.SymbolResolver : CodeVisitor {
                if (st.base_type != null) {
                        // make sure that base type is resolved
 
+                       if (current_scope == st.scope) {
+                               // recursive declaration in generic base type
+                               return new StructValueType (st);
+                       }
+
                        var old_scope = current_scope;
                        current_scope = st.scope;