+ redef meth after_typing(v)
+ do
+ super
+ if not is_typed then return
+ if n_expr.stype isa MMTypeNone and not n_expr2.stype.is_nullable or
+ n_expr2.stype isa MMTypeNone and not n_expr.stype.is_nullable then
+ v.warning(self, "Warning: comparaison between null and a non nullable value.")
+ end
+ end