blob: 2a4141bf221ab6cd7c6c451cc1bf96f8f879f3fe [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 implements B {
void set x(/*@topType=int*/ value) {}
abstract class B implements C {
void set x(/*@topType=int*/ value);
abstract class C {
void set x(int value);
main() {}