// allowJs: true
// checkJs: true
// outDir: out/
// filename: input.js
function f() {
    return /* @type {number} */ 42;
}