| // Copyright (c) 2013, 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. |
| |
| // Test that the error message for a failing subtype test includes type |
| // arguments. |
| |
| import 'package:expect/expect.dart'; |
| |
| class C<T, S> {} |
| |
| bool inCheckedMode() { |
| try { |
| int i = 'hest'; |
| } catch (e) { |
| return true; |
| } |
| return false; |
| } |
| |
| main() { |
| if (inCheckedMode()) { |
| bool caught = false; |
| try { |
| C<String, String> x = new C<C<int, String>, String>(); |
| } catch (e) { |
| String nameOfC = (C).toString(); |
| String nameOfInt = (int).toString(); |
| String nameOfString = (String).toString(); |
| String expected = |
| '$nameOfC<$nameOfC<$nameOfInt, $nameOfString>, $nameOfString>'; |
| Expect.isTrue(e.toString().contains(expected), |
| 'Expected "$expected" in the message'); |
| caught = true; |
| } |
| Expect.isTrue(caught); |
| } |
| } |