src: remove some `call on nullable` warning with a non-null local variable

[nit.git] / src / model / model.nit

diff --git a/src/model/model.nit b/src/model/model.nit
index 941bae7..820b306 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -1566,6 +1566,7 @@ class MParameterType
                end
                if resolved_receiver isa MNullableType then resolved_receiver = resolved_receiver.mtype
                if resolved_receiver isa MParameterType then
+                       assert anchor != null
                        assert resolved_receiver.mclass == anchor.mclass
                        resolved_receiver = anchor.arguments[resolved_receiver.rank]
                        if resolved_receiver isa MNullableType then resolved_receiver = resolved_receiver.mtype