blob: 03485de146ff025efd8da2905a5f232d087c86cc [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// Copyright (c) 2018, 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.
abstract class Base {
void f(int i);
void g([int i]);
void h({int i});
}
abstract class Mixin implements Base {}
class Derived extends Object with Mixin {
// Type `(int) -> void` should be inherited from `Base`
f(i) {}
// Type `([int]) -> void` should be inherited from `Base`
g([i = -1]) {}
// Type `({h: int}) -> void` should be inherited from `Base`
h({i = -1}) {}
}
main() {
var d = new Derived();
}