library;
//
// Problems in library:
//
// pkg/front_end/testcases/general_nnbd_opt_out/duplicated_field_initializer.dart:9:7: Error: 'a' is already declared in this scope.
//   int a;
//       ^
// pkg/front_end/testcases/general_nnbd_opt_out/duplicated_field_initializer.dart:8:7: Context: Previous declaration of 'a'.
//   int a;
//       ^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  field core::int* a;
  constructor •(core::int* a) → self::A*
    ;
}
static method main() → void
  ;