// 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 In general, a non-generic type alias is just expanded to its
/// aliased type, then the tear-off happens on that type. Tearing off
/// [IntList.filled] will act like tearing off [List<int>.filled], it
/// automatically instantiates the class type parameter to the specified type.
///
/// @description Checks that tearing-off automatically instantiates the class
/// type parameter to the specified type for non-generic type alias. Test
/// negative static case for [List<int>].
/// @author iarkh@unipro.ru

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

typedef MyList = List<int>;

main() {
  MyList<int>.filled;
//      ^
// [analyzer] unspecified
// [cfe] unspecified

  MyList<String>.filled;
//      ^
// [analyzer] unspecified
// [cfe] unspecified

  MyList<dynamic>.filled;
//      ^
// [analyzer] unspecified
// [cfe] unspecified

  MyList<Object?>.filled;
//      ^
// [analyzer] unspecified
// [cfe] unspecified

  MyList<Never>.filled;
//      ^
// [analyzer] unspecified
// [cfe] unspecified

  var v = MyList.filled;

  v(1, 1.5);
//     ^
// [analyzer] unspecified
// [cfe] unspecified

  v(1, null);
//     ^
// [analyzer] unspecified
// [cfe] unspecified

  v(2, "");
//     ^
// [analyzer] unspecified
// [cfe] unspecified
}