内置断言