Check type of field initializers

diff --git a/vala/valafield.vala b/vala/valafield.vala
index c754a33c679dcc26d693b83d400024f1789d353d..420f7f9eed5ac8c01e7286917c3964a955460c46 100644 (file)
--- a/vala/valafield.vala
+++ b/vala/valafield.vala
@@ -313,6 +313,12 @@ public class Vala.Field : Member, Lockable {
                        initializer.target_type = field_type;
 
                        initializer.check (analyzer);
+
+                       if (!initializer.value_type.compatible (field_type)) {
+                               error = true;
+                               Report.error (source_reference, "Cannot convert from `%s' to `%s'".printf (initializer.value_type.to_string (), field_type.to_string ()));
+                               return false;
+                       }
                }
 
                if (binding == MemberBinding.INSTANCE && parent_symbol is Interface) {