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

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