/*@ foo :: (arr: Array<Immutable, string>) => { boolean | true } */
function foo(arr) {
  if (arr.length > 0) {
    if (arr[0] === "blah") {
      return true;
    }
  }
  return false;
}

/*@ bar :: (arr: Array<Immutable, string>) => { boolean | true } */
function bar(arr) {
  if ((arr.length > 0) && (arr[0] === "blah")) {
    return true;
  }
  return false;
}
Add test for short circuiting of &&
Add test for short circuiting of &&
