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

Signed-off-by: Jean Privat <jean@pryen.org>

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