codeql/javascript/extractor/tests/flow/input/predicate-function-annotation.js

function f(a): boolean %checks {
    return a;
}
function g(): %checks {} {
    return b;
}

(c): boolean %checks => c;
(d): %checks => d;