// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.9

// Test that it is legal to override a field with a field in an interface.

abstract class IA {
  final int foo;
  IA(this.foo);
}

abstract class IB implements IA {
  final int foo;
  IB(this.foo);
}

class B implements IB {
  int _f = 123;
  int get foo => _f;
}

main() {
  IB b = new B();
  print('b.foo = ${b.foo}');
}