[cfe] Add test for issue 53610

Closes #53610

Change-Id: Id8efa1cc31617fdd0f323cc1397db4c7519b370a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/335522
Commit-Queue: Johnni Winther <[email protected]>
Reviewed-by: Jens Johansen <[email protected]>

Author: johnniwinther

pkg/front_end/testcases/extension_types/issue53610.dart

@@ -0,0 +1,10 @@
+// Copyright (c) 2023, 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.
+
+extension type const N(Null _) {}
+
+void main() {
+  var n = N(null);
+  const cn = N(null);
+}

pkg/front_end/testcases/extension_types/issue53610.dart.strong.expect

@@ -0,0 +1,17 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */ {
+  lowered final self::N /* = Null */ #this = _;
+  return #this;
+}
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void {
+  self::N /* = Null */ n = self::N|constructor#(null);
+}

pkg/front_end/testcases/extension_types/issue53610.dart.strong.transformed.expect

@@ -0,0 +1,22 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */ {
+  lowered final self::N /* = Null */ #this = _;
+  return #this;
+}
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void {
+  self::N /* = Null */ n = self::N|constructor#(null);
+}
+
+
+Extra constant evaluation status:
+Evaluated: FactoryConstructorInvocation @ org-dartlang-testcase:///issue53610.dart:8:11 -> NullConstant(null)
+Extra constant evaluation: evaluated: 5, effectively constant: 1

pkg/front_end/testcases/extension_types/issue53610.dart.textual_outline.expect

@@ -0,0 +1,2 @@
+extension type const N(Null _) {}
+void main() {}

pkg/front_end/testcases/extension_types/issue53610.dart.textual_outline_modelled.expect

@@ -0,0 +1,2 @@
+extension type const N(Null _) {}
+void main() {}

pkg/front_end/testcases/extension_types/issue53610.dart.weak.expect

@@ -0,0 +1,17 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */ {
+  lowered final self::N /* = Null */ #this = _;
+  return #this;
+}
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void {
+  self::N /* = Null */ n = self::N|constructor#(null);
+}

pkg/front_end/testcases/extension_types/issue53610.dart.weak.modular.expect

@@ -0,0 +1,17 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */ {
+  lowered final self::N /* = Null */ #this = _;
+  return #this;
+}
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void {
+  self::N /* = Null */ n = self::N|constructor#(null);
+}

pkg/front_end/testcases/extension_types/issue53610.dart.weak.outline.expect

@@ -0,0 +1,14 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */
+  ;
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void
+  ;

pkg/front_end/testcases/extension_types/issue53610.dart.weak.transformed.expect

@@ -0,0 +1,22 @@
+library;
+import self as self;
+
+extension type N(Null _) {
+  abstract extension-type-member representation-field get _() → Null;
+  constructor • = self::N|constructor#;
+  constructor tearoff • = self::N|constructor#_#new#tearOff;
+}
+static extension-type-member method N|constructor#(Null _) → self::N /* = Null */ {
+  lowered final self::N /* = Null */ #this = _;
+  return #this;
+}
+static extension-type-member method N|constructor#_#new#tearOff(Null _) → self::N /* = Null */
+  return self::N|constructor#(_);
+static method main() → void {
+  self::N /* = Null */ n = self::N|constructor#(null);
+}
+
+
+Extra constant evaluation status:
+Evaluated: FactoryConstructorInvocation @ org-dartlang-testcase:///issue53610.dart:8:11 -> NullConstant(null)
+Extra constant evaluation: evaluated: 5, effectively constant: 1