Merge: Contract: Change mpropdef driving

[nit.git] / src / frontend / explain_assert.nit

diff --git a/src/frontend/explain_assert.nit b/src/frontend/explain_assert.nit
index b2350a4..f8b4710 100644 (file)
--- a/src/frontend/explain_assert.nit
+++ b/src/frontend/explain_assert.nit
@@ -145,7 +145,9 @@ private class ExplainAssertVisitor
                end
 
                # Set the expression value aside
+               var old_parent = v_expr.parent
                var expr = v_expr.make_var_read
+               if old_parent != null then old_parent.validate
 
                # Protect nullable types
                if mtype isa MNullType then