interface A1 {
  @@iterator(): Iterator<File>;
}

interface A2 {
  @@asyncIterator(): Iterator<File>;
}