declare function foo(x: mixed): boolean %checks(x !== null);