From: Jean Privat Date: Wed, 27 May 2015 23:25:15 +0000 (-0400) Subject: typing: advice if a receiver is nullable X-Git-Tag: v0.7.5~4^2~1 X-Git-Url: http://nitlanguage.org typing: advice if a receiver is nullable Signed-off-by: Jean Privat --- diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit index ada6160..10edaf1 100644 --- a/src/semantize/typing.nit +++ b/src/semantize/typing.nit @@ -329,6 +329,8 @@ private class TypeVisitor if recvtype isa MNullType and not mproperty.is_null_safe then self.error(node, "Error: method `{name}` called on `null`.") return null + else if unsafe_type isa MNullableType and not mproperty.is_null_safe then + modelbuilder.advice(node, "call-on-nullable", "Warning: method call on a nullable receiver `{recvtype}`.") end if is_toplevel_context and recv_is_self and not mproperty.is_toplevel then