| // Copyright (c) 2015, 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. |
| // SharedOptions=--supermixin |
| |
| import "package:expect/expect.dart"; |
| |
| class MS<T> { |
| foo() { |
| return "MS<$T>.foo\n"; |
| } |
| } |
| |
| class M<T> extends MS<List<T>> { |
| foo() { |
| return super.foo() + "M<$T>.foo\n"; |
| } |
| } |
| |
| class NS<T> { |
| foo() { |
| return "NS<$T>.foo\n"; |
| } |
| } |
| |
| class N<T> extends NS<List<T>> { |
| foo() { |
| return super.foo() + "N<$T>.foo\n"; |
| } |
| } |
| |
| class S<T> { |
| foo() { |
| return "S<$T>.foo\n"; |
| } |
| } |
| |
| class SM<U, V> = S<List<U>> with M<Map<U, V>>; |
| |
| class MNA1<U, V, W> extends S<List<U>> with M<Map<U, V>>, N<W> { |
| foo() { |
| return super.foo() + "MNA1<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| class MNA2<U, V, W> extends SM<U, V> with N<W> { |
| foo() { |
| return super.foo() + "MNA2<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| class MNA3<U, V, W> extends S<List<U>> with SM<U, V>, N<W> { |
| foo() { |
| return super.foo() + "MNA3<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| main() { |
| Expect.equals( |
| "MS<List<double>>.foo\n" |
| "M<double>.foo\n", |
| new M<double>().foo()); |
| Expect.equals( |
| "S<List<int>>.foo\n" |
| "M<Map<int, String>>.foo\n", |
| new SM<int, String>().foo()); |
| Expect.equals( |
| "S<List<int>>.foo\n" |
| "M<Map<int, String>>.foo\n" |
| "N<bool>.foo\n" |
| "MNA1<int, String, bool>.foo\n", |
| new MNA1<int, String, bool>().foo()); |
| Expect.equals( |
| "S<List<int>>.foo\n" |
| "M<Map<int, String>>.foo\n" |
| "N<bool>.foo\n" |
| "MNA2<int, String, bool>.foo\n", |
| new MNA2<int, String, bool>().foo()); |
| Expect.equals( |
| "S<List<int>>.foo\n" |
| "M<Map<int, String>>.foo\n" |
| "N<bool>.foo\n" |
| "MNA3<int, String, bool>.foo\n", |
| new MNA3<int, String, bool>().foo()); |
| } |