blob: 9e5cad711c02f3dd9445a4d9ed876ff68f67c750 [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 C extends D {
set /*@topType=void*/ foo(/*@topType=int*/ x) {}
class D {
set /*@topType=void*/ foo(int x) {}
main() {}