Replacement_value must be of a type that is implicitly convertible to the type of check_expresssion.

• replacement_value必须是可以隐式转换为check_expresssion类型的类型。