[tests] Add more type parameter tests, add nested FutureOr and typedef tests.

Updating a few existing FutureOr and typedef tests.
Adding new type parameter tests.

Bug: #57038
Change-Id: Ic34b1ccbb97048d64afece6b925a3bf71d9f109e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/417320
Reviewed-by: Erik Ernst <eernst@google.com>
Commit-Queue: Kallen Tu <kallentu@google.com>

Author: kallentu

tests/language/dot_shorthands/constructor/constructor_error_test.dart

@@ -31,18 +31,6 @@ void main() {
   // [analyzer] unspecified
   // [cfe] unspecified
 
-  // `.new<type-args>()` and `.new<type-args>` are a compile-time error.
-
-  UnnamedConstructorTypeParameters typeParameters = .new<int>();
-  // ^
-  // [analyzer] unspecified
-  // [cfe] unspecified
-
-  UnnamedConstructorTypeParameters Function() tearOff = .new<int>;
-  // ^
-  // [analyzer] unspecified
-  // [cfe] unspecified
-
   UnnamedConstructor Function() ctorTearoff = .new;
   // ^
   // [analyzer] unspecified

tests/language/dot_shorthands/constructor/constructor_future_or_test.dart

@@ -41,6 +41,8 @@ void main() {
   const FutureOr<ConstructorClass?> constNullableCtor = .constRegular(1);
   const FutureOr<ConstructorClass?> constNullableCtorNamed = .constNamed(x: 1);
   const FutureOr<ConstructorClass?> constNullableCtorOptional = .constOptional(1);
+  FutureOr<FutureOr<ConstructorClass>> ctorNested = .new(1);
+  const FutureOr<FutureOr<ConstructorClass>> constCtorNested = .constRegular(1);
 
   var ctorList = <FutureOr<ConstructorClass>>[.new(1), .regular(1), .optional(1), .named(x: 1)];
   var nullableCtorList = <FutureOr<ConstructorClass?>>[.new(1), .regular(1), .optional(1), .named(x: 1)];
@@ -65,6 +67,8 @@ void main() {
   const FutureOr<ConstructorExt?> constNullableCtorExt = .constRegular(1);
   const FutureOr<ConstructorExt?> constNullableCtorExtNamed = .constNamed(x: 1);
   const FutureOr<ConstructorExt?> constNullableCtorExtOptional = .constOptional(1);
+  FutureOr<FutureOr<ConstructorExt>> ctorExtNested = .new(1);
+  const FutureOr<FutureOr<ConstructorExt>> constCtorExtNested = .constRegular(1);
 
   var ctorExtList = <FutureOr<ConstructorExt>>[.new(1), .regular(1), .optional(1), .named(x: 1)];
   var nullableIntegerExtList = <FutureOr<ConstructorExt?>>[.new(1), .regular(1), .optional(1), .named(x: 1)];

tests/language/dot_shorthands/member/static_method_future_or_test.dart

@@ -30,6 +30,7 @@ class StaticMemberExtFutureOrContext {
 void main() {
   // Class
   FutureOr<StaticMember> member = .member();
+  FutureOr<FutureOr<StaticMember>> memberNested = .member();
   FutureOr<StaticMember?> nullableMember = .memberType<String, int>("s");
 
   var memberList = <FutureOr<StaticMember>>[.member(), .memberType<String, int>("s")];
@@ -41,6 +42,7 @@ void main() {
 
   // Extension type
   FutureOr<StaticMemberExt> memberExt = .member();
+  FutureOr<FutureOr<StaticMemberExt>> memberExtNested = .member();
   FutureOr<StaticMemberExt?> nullableMemberExt = .memberType<String, int>("s");
 
   var memberExtList = <FutureOr<StaticMemberExt>>[.member(), .memberType<String, int>("s")];

tests/language/dot_shorthands/multiple/type_alias_test.dart

@@ -7,7 +7,9 @@
 // SharedOptions=--enable-experiment=dot-shorthands
 
 typedef ClassAlias = A<int>;
+typedef AliasAlias = ClassAlias;
 typedef ExtensionAlias = AExt<int>;
+typedef ExtensionAliasAlias = ExtensionAlias; 
 
 class A<T> {
   static ClassAlias get alias => A(1);
@@ -50,4 +52,15 @@ void main() {
   ExtensionAlias extensionAliasCtor = .new(1).aliasGetter;
   ExtensionAlias extensionAliasMethod = .method();
   const ExtensionAlias constExtensionAlias = .constAlias;
+
+  // Nested typedefs
+  AliasAlias nestedAlias = .alias;
+  AliasAlias nestedAlias2 = .new(1).aliasGetter;
+  AliasAlias nestedAliasMethod = .method();
+  const AliasAlias constNestedAlias = .constAlias;
+
+  ExtensionAliasAlias nestedExtensionAlias = .alias;
+  ExtensionAliasAlias nestedExtensionAliasCtor = .new(1).aliasGetter;
+  ExtensionAliasAlias nestedExtensionAliasMethod = .method();
+  const ExtensionAliasAlias constNestedExtensionExtensionAlias = .constAlias;
 }

tests/language/dot_shorthands/simple/simple_identifier_future_or_test.dart

@@ -45,6 +45,7 @@ class IntegerMixinFutureOrContext {
 void main() {
   // Enum
   FutureOr<Color> color = .blue;
+  FutureOr<FutureOr<Color>> colorNested = .blue;
   FutureOr<Color?> nullableColor = .blue;
   const FutureOr<Color> constColor = .blue;
   const FutureOr<Color?> constNullableColor = .blue;
@@ -68,6 +69,7 @@ void main() {
 
   // Class
   FutureOr<Integer> integer = .one;
+  FutureOr<FutureOr<Integer>> integerNested = .one;
   FutureOr<Integer?> nullableInteger = .one;
   const FutureOr<Integer> constInteger = .constOne;
   const FutureOr<Integer?> constNullableInteger = .constOne;
@@ -81,6 +83,7 @@ void main() {
 
   // Extension type
   FutureOr<IntegerExt> integerExt = .one;
+  FutureOr<FutureOr<IntegerExt>> integerExtNested = .one;
   FutureOr<IntegerExt?> nullableIntegerExt = .one;
   const FutureOr<IntegerExt> constIntegerExt = .constOne;
   const FutureOr<IntegerExt?> constNullableIntegerExt = .constOne;
@@ -94,6 +97,7 @@ void main() {
 
   // Mixin
   FutureOr<IntegerMixin> integerMixin = .mixinOne;
+  FutureOr<FutureOr<IntegerMixin>> integerMixinNested = .mixinOne;
   FutureOr<IntegerMixin?> nullableIntegerMixin = .mixinOne;
   const FutureOr<IntegerMixin> constIntegerMixin = .mixinConstOne;
   const FutureOr<IntegerMixin?> constNullableIntegerMixin = .mixinConstOne;

tests/language/dot_shorthands/type_parameter/type_parameter_error_test.dart

@@ -0,0 +1,34 @@
+// Copyright (c) 2025, 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.
+
+// Errors when having the wrong type parameters and using type parameters in
+// `.new` or `.new()`.
+
+// SharedOptions=--enable-experiment=dot-shorthands
+
+import '../dot_shorthand_helper.dart';
+
+void main() {
+  StaticMember<int> s = .memberType<String, String>('s');
+  // ^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+
+  // Constructors doesn't have type parameters.
+  StaticMember<int> constructorTypeParameter = .constNamed<int>(1);
+  // ^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+
+  // `.new<type-args>()` and `.new<type-args>` are a compile-time error.
+  UnnamedConstructorTypeParameters typeParameters = .new<int>();
+  // ^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+
+  UnnamedConstructorTypeParameters Function() tearOff = .new<int>;
+  // ^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+}

tests/language/dot_shorthands/type_parameter/type_parameter_test.dart

@@ -0,0 +1,30 @@
+// Copyright (c) 2025, 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.
+
+// Testing `id<type>()` uses the correct type parameters.
+
+// SharedOptions=--enable-experiment=dot-shorthands
+
+import '../dot_shorthand_helper.dart';
+
+import "package:expect/expect.dart";
+
+class A<T, U> {
+  static A<X, Y> method<X, Y>(X x, Y y) => A<X, Y>.ctor(x, y);
+
+  final T? x;
+  final U? y;
+  A.ctor(this.x, this.y);
+}
+
+void main() {
+  StaticMember<int> sMemberType = .memberType<int, String>(1);
+  StaticMemberExt<int> sExtMemberType = .memberType<int, String>(1);
+
+  A aMethod = .method<int, int>(1, 2);
+  Expect.type<A<int, int>>(aMethod);
+
+  A aCall = .method<int, int>.call(1, 2);
+  Expect.type<A<int, int>>(aCall);
+}