// 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.

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

abstract class IA {
  final int foo;
}

abstract class IB implements IA {
  final int foo;
}

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

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

// 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.

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

abstract class IA {
  final int foo; /// static warning
}

abstract class IB implements IA {
  final int foo; /// static warning
}

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

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

Mark uninitialized final fields as expecting a warning
Mark uninitialized final fields as expecting a warning

R=scheglov@google.com

Review-Url: https://codereview.chromium.org/2730703004 .
