Add ownership-checks for field initializers

diff --git a/vala/valafield.vala b/vala/valafield.vala
index e6429a192c0eb2ca0a9b9630f99e42dc0b67ae1d..5eb84dedb35706abc898cf9372d29f391adb469a 100644 (file)
--- a/vala/valafield.vala
+++ b/vala/valafield.vala
@@ -143,6 +143,16 @@ public class Vala.Field : Variable, Lockable {
                                return false;
                        }
 
+                       if (initializer.value_type.is_disposable ()) {
+                               /* rhs transfers ownership of the expression */
+                               if (!(variable_type is PointerType) && !variable_type.value_owned) {
+                                       /* lhs doesn't own the value */
+                                       error = true;
+                                       Report.error (source_reference, "Invalid assignment from owned expression to unowned variable");
+                                       return false;
+                               }
+                       }
+
                        if (parent_symbol is Namespace && !initializer.is_constant ()) {
                                error = true;
                                Report.error (source_reference, "Non-constant field initializerS not supported in this context");