redef fun accept_post_typing(v)
	do
		v.check_expr_cast(self, self.n_expr, self.n_type)
	end

	redef fun accept_post_typing(v)
	do
		v.check_expr_cast(self, self.n_expr, self.n_type)
	end

	redef fun accept_post_typing(v)
	do
		var mtype = n_expr.mtype
		if mtype == null then return
		v.check_can_be_null(n_expr, mtype)
	end

	redef fun accept_post_typing(v)
	do
		var t1 = n_expr.mtype
		if t1 == null then
			return
		else
			v.check_can_be_null(n_expr, t1)
		end
	end

	redef fun accept_post_typing(v)
	do
		var mtype = n_expr.mtype
		var mtype2 = n_expr2.mtype

		if mtype == null or mtype2 == null then return

		if mtype == v.type_bool(self) and (n_expr2 isa AFalseExpr or n_expr2 isa ATrueExpr) then
			v.display_warning(self, "useless-truism", "Warning: useless comparison to a Bool literal.")
		end

		if not mtype2 isa MNullType then return

		v.check_can_be_null(n_expr, mtype)
	end