blob: fd0a94b90bd69918f50043c2bbe7cfbbc188ed3c [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 {
final /*@topType=dynamic*/ x = null;
class B implements A {
final /*@topType=dynamic*/ x = 2;
foo() {
String y = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
int z = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
main() {}