modelize: error in `autoinit` is used in class refinement

[nit.git] / src / modelize / modelize_property.nit

diff --git a/src/modelize/modelize_property.nit b/src/modelize/modelize_property.nit
index a5a8ef9..4633b3f 100644 (file)
--- a/src/modelize/modelize_property.nit
+++ b/src/modelize/modelize_property.nit
@@ -988,6 +988,8 @@ redef class AMethPropdef
                if atautoinit != null then
                        if not mpropdef.is_intro then
                                modelbuilder.error(atautoinit, "Error: `autoinit` cannot be set on redefinitions.")
+                       else if not mclassdef.is_intro then
+                               modelbuilder.error(atautoinit, "Error: `autoinit` cannot be used in class refinements.")
                        else
                                self.is_autoinit = true
                        end