[vala/staging] vala: Make DataType.equals() to check the type-arguments

[Jürg Billeter <juergbi src gnome org>]

commit 37c79bdd37d1dcd789183d39c97d590e020ed948
Author: Matthias Berndt <matthias_berndt gmx de>
Date:   Wed Sep 28 06:01:40 2016 +0200

    vala: Make DataType.equals() to check the type-arguments
    
    https://bugzilla.gnome.org/show_bug.cgi?id=641418

 tests/Makefile.am              |    2 ++
 tests/objects/bug641418-1.test |   13 +++++++++++++
 tests/objects/bug641418-2.test |   16 ++++++++++++++++
 vala/valadatatype.vala         |   11 +++++++++++
 4 files changed, 42 insertions(+), 0 deletions(-)
---
diff --git a/tests/Makefile.am b/tests/Makefile.am
index 0fd49d9..48c5552 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -156,6 +156,8 @@ TESTS = \
        objects/bug626038.vala \
        objects/bug628639.vala \
        objects/bug634782.vala \
+       objects/bug641418-1.test \
+       objects/bug641418-2.test \
        objects/bug642809.vala \
        objects/bug643711.vala \
        objects/bug646362.vala \
diff --git a/tests/objects/bug641418-1.test b/tests/objects/bug641418-1.test
new file mode 100644
index 0000000..579f7fd
--- /dev/null
+++ b/tests/objects/bug641418-1.test
@@ -0,0 +1,13 @@
+Invalid Code
+
+interface Foo
+{
+       public abstract GenericArray<string> baz ();
+}
+
+class Bar : Object, Foo
+{
+       public override GenericArray<int> baz () {
+               return null;
+       }
+}
diff --git a/tests/objects/bug641418-2.test b/tests/objects/bug641418-2.test
new file mode 100644
index 0000000..f6da05b
--- /dev/null
+++ b/tests/objects/bug641418-2.test
@@ -0,0 +1,16 @@
+Invalid Code
+
+class Foo<K, V> {
+}
+
+class Bar {
+       public virtual Foo<K, V> f<K, V>() {
+               return null;
+       }
+}
+
+class Baz : Bar {
+       public override Foo<A, B> f<B, A>() {
+               return null;
+       }
+}
diff --git a/vala/valadatatype.vala b/vala/valadatatype.vala
index 5fe8c7b..f3f9bf9 100644
--- a/vala/valadatatype.vala
+++ b/vala/valadatatype.vala
@@ -208,6 +208,17 @@ public abstract class Vala.DataType : CodeNode {
                if (type2.floating_reference != floating_reference) {
                        return false;
                }
+
+               var type_args = get_type_arguments ();
+               var type2_args = type2.get_type_arguments ();
+               if (type2_args.size != type_args.size) {
+                       return false;
+               }
+
+               for (int i = 0; i < type_args.size; i++) {
+                       if (!type2_args[i].equals (type_args[i]))
+                               return false;
+               }
        
                return true;
        }