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