# Returns true if the current method definition differ from
	# its original introduction in terms of receiver type.
	fun recv_differ_from_intro: Bool
	do
		var intromclassdef = mproperty.intro.mclassdef
		var introrecv = intromclassdef.bound_mtype
		return self.mclassdef.bound_mtype != introrecv
	end