blob: 816a3969d80396de8e6bd22873f6d673671cd817 [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.
/*@testedFeatures=checks*/
library test;
class B {
Object _x;
void f([num x = 10]) {
_x = x;
}
void g({num x = 20}) {
_x = x;
}
void check(Object expectedValue) {
if (_x != expectedValue) {
throw 'Expected _x == $expectedValue; got ${_x}';
}
}
}
abstract class I<T> {
void f([T x]);
void g({T x});
}
class C extends B implements I<num> {}
main() {
C c = new C();
c.f();
c.check(10);
c.g();
c.check(20);
}