valainterface: Don't allow 'type' properties

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

diff --git a/vala/valainterface.vala b/vala/valainterface.vala
index 621c6e8ce16c050f5193f3ba475d54a7a2b3f1f8..f80427b98d9b844f41477a431aabbf191c05819d 100644 (file)
--- a/vala/valainterface.vala
+++ b/vala/valainterface.vala
@@ -204,6 +204,11 @@ public class Vala.Interface : ObjectTypeSymbol {
                        return;
                }
 
+               if (prop.name == "type") {
+                       Report.error (prop.source_reference, "Property 'type' not allowed");
+                       return;
+               }
+
                properties.add (prop);
                scope.add (prop.name, prop);