// Copyright (c) 2021, 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.

/// @assertion When C is a type literal, C<int> is regular-bounded parameterized
/// type, and C.m is the name of a constructor, an expression of the form
/// C<int>.m(...) denotes an instance creation and C<int>.m denotes a
/// constructor tearoff, and they are not errors. When C.m is not a constructor
/// name, those forms are a compile-time error, even in the case where Type has
/// a member named m (for instance, C<int>.toString() is an error unless
/// C.toString is a constructor).
///
/// @description Checks that if C is a type literal, C<int> is regular-bounded
/// parameterized type, and C.m is not a constructor name, those forms are a
/// compile-time error, even in the case where Type has a member named m
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=constructor-tearoffs

import "../../Utils/expect.dart";

class C<T> {
}

main() {
  var v1 = C<int>;
  Expect.isTrue(v1.toString() is String);
  Expect.isTrue(v1.toString is Function);
  Expect.runtimeIsType<String>(v1.toString());
  Expect.runtimeIsType<Function>(v1.toString);

  var v2 = C;
  Expect.isTrue(v2.toString() is String);
  Expect.isTrue(v2.toString is Function);
  Expect.runtimeIsType<String>(v2.toString());
  Expect.runtimeIsType<Function>(v2.toString);
}