// (this file has no errors and no type/error assertions)
function foo() {
  return true;
}