The new() constraint appears last in the where clause.

• new()约束出现在where子句的最后。