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

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