Add test case reproducing issue #34488.
Change-Id: I0dea1cb682b607b324703303922efdfe098fa28f
Reviewed-on: https://dart-review.googlesource.com/75131
Reviewed-by: Leaf Petersen <leafp@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>
diff --git a/tests/language_2/issue34488_test.dart b/tests/language_2/issue34488_test.dart
new file mode 100644
index 0000000..4954abe
--- /dev/null
+++ b/tests/language_2/issue34488_test.dart
@@ -0,0 +1,32 @@
+// 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();
+ d.f('bad'); //# 01: compile-time error
+ d.g('bad'); //# 02: compile-time error
+ d.h(i: 'bad'); //# 03: compile-time error
+ Object x = d.f(1); //# 04: compile-time error
+ Object y = d.g(1); //# 05: compile-time error
+ Object z = d.h(i: 1); //# 06: compile-time error
+}
diff --git a/tests/language_2/language_2_kernel.status b/tests/language_2/language_2_kernel.status
index 11cb314..dce0b32 100644
--- a/tests/language_2/language_2_kernel.status
+++ b/tests/language_2/language_2_kernel.status
@@ -249,6 +249,12 @@
generic_methods_recursive_bound_test/02: MissingCompileTimeError # Issue 33308
issue31596_super_test/02: MissingCompileTimeError # Issue 31596
issue31596_super_test/04: MissingCompileTimeError # Issue 31596
+issue34488_test/01: MissingCompileTimeError # Issue 34488
+issue34488_test/02: MissingCompileTimeError # Issue 34488
+issue34488_test/03: MissingCompileTimeError # Issue 34488
+issue34488_test/04: MissingCompileTimeError # Issue 34488
+issue34488_test/05: MissingCompileTimeError # Issue 34488
+issue34488_test/06: MissingCompileTimeError # Issue 34488
malbounded_instantiation_test/01: MissingCompileTimeError # Issue 33308
malbounded_instantiation_test/02: MissingCompileTimeError # Issue 33308
malbounded_instantiation_test/03: MissingCompileTimeError # Issue 33308