// 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.

// @dart = 2.7

// Test that the error message for a failing subtype test includes type
// arguments.

import 'package:expect/expect.dart';

class C<T, S> {}

bool inComplianceMode() {
  try {
    int i = ('hest' as dynamic);
  } catch (e) {
    return true;
  }
  return false;
}

main() {
  if (inComplianceMode()) {
    bool caught = false;
    try {
      C<String, String> x = (new C<C<int, String>, String>()) as dynamic;
    } catch (e) {
      String nameOfC = (C).toString();
      if (nameOfC.contains('<')) {
        nameOfC = nameOfC.substring(0, nameOfC.indexOf('<'));
      }
      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: $e');
      print(e);
      caught = true;
    }
    Expect.isTrue(caught);
  }
}