# Make the `mtype` of the expression live
	# Used by literals and instantiations
	fun allocate_mtype(v: RapidTypeVisitor)
	do
		var mtype = self.mtype
		if not mtype isa MClassType then return
		v.add_type(self.mtype.as(MClassType))
	end