返回值的类型必须兼容x的类型。

• The type of the return value must be compatible with the type of x.