blob: b2957dfb200478aae1c1af96a88b6eb546846795 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// @dart = 2.9
// 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]) {}
// Type `({h: int}) -> void` should be inherited from `Base`
h({i}) {}
}
main() {
var d = new Derived();
}