// @ts-check
/**
 * @returns {string} This comment is not currently exposed
 */
function f() {
    return 5;  // this should be an error
}