nitc :: MType :: as_notnull
That is self minus the null value.
For most types, this return self.
For formal types, this returns a special MNotNullType
# Returns the not null version of the type.
# That is `self` minus the `null` value.
#
# For most types, this return `self`.
# For formal types, this returns a special `MNotNullType`
fun as_notnull: MType do return self
src/model/model.nit:1214,2--1219,37
redef var as_notnull = new MNotNullType(self) is lazy
src/model/model.nit:1512,2--54
redef fun as_notnull do return mtype.as_notnull
src/model/model.nit:1784,2--48
redef var as_notnull: MBottomType = new MBottomType(model) is lazy
src/model/model.nit:1901,2--67
redef fun as_notnull do return self
src/model/model.nit:1927,2--36
redef fun as_notnull do return self
src/model/model.nit:1873,2--36