// "Replace explicit type with 'var'" "true-preview"
class Main {
  {
      //c1
      @Anno var args = new String[42];
  }
}
@interface Anno {}