blob: 518852f75f7102b3df64b483bda1aa6aebf9c89f [file] [log] [blame]
// Copyright (c) 2017, 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.
library test;
class A<T> {
final T x = null;
class B implements A<int> {
/*error:INVALID_METHOD_OVERRIDE*/ dynamic get x => 3;
foo() {
String y = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
int z = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
main() {