#1952. Constructor of classes that cannot be constructed cannot be torn off (#2063)

Author: sgrekhov

LanguageFeatures/Class-modifiers/syntax_abstract_base_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract base class can be extended but not constructed,
+/// implemented or mixed in and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract base class`
+/// @author [email protected]
+
+abstract base class AbstractBaseClass {
+  AbstractBaseClass();
+  AbstractBaseClass.x();
+}
+
+main() {
+  var tf1 = AbstractBaseClass.new;
+//          ^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractBaseClass.x;
+//          ^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_abstract_base_mixin_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract base mixin class can be extended and mixed in but not
+/// constructed, implemented and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract base mixin class`
+/// @author [email protected]
+
+abstract base mixin class AbstractBaseMixinClass {
+  AbstractBaseMixinClass();
+  AbstractBaseMixinClass.x();
+}
+
+main() {
+  var tf1 = AbstractBaseMixinClass.new;
+//          ^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractBaseMixinClass.x;
+//          ^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_abstract_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract class can be extended and implemented but not
+/// constructed, mixed in and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract class`
+/// @author [email protected]
+
+abstract class AbstractClass {
+  AbstractClass();
+  AbstractClass.x();
+}
+
+main() {
+  var tf1 = AbstractClass.new;
+//          ^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractClass.x;
+//          ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_abstract_final_class_A01_t01.dart

@@ -12,7 +12,6 @@ import "class_modifiers_lib.dart";
 
 abstract final class LocalAbstractFinalClass {}
 
-
 main() {
   AbstractFinalClass();
 //^^^^^^^^^^^^^^^^^^

LanguageFeatures/Class-modifiers/syntax_abstract_final_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract final class cannot be constructed, extended, implemented
+/// or mixed in and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract final class`
+/// @author [email protected]
+
+abstract final class AbstractFinalClass {
+  AbstractFinalClass();
+  AbstractFinalClass.x();
+}
+
+main() {
+  var tf1 = AbstractFinalClass.new;
+//          ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractFinalClass.x;
+//          ^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_abstract_interface_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract interface class can be implemented but not constructed,
+/// extended or mixed in and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract interface class`
+/// @author [email protected]
+
+abstract interface class AbstractInterfaceClass {
+  AbstractInterfaceClass();
+  AbstractInterfaceClass.x();
+}
+
+main() {
+  var tf1 = AbstractInterfaceClass.new;
+//          ^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractInterfaceClass.x;
+//          ^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_abstract_mixin_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Abstract mixin class can be extended, implemented and mixed in
+/// but not constructed and is not exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of an `abstract mixin class`
+/// @author [email protected]
+
+abstract mixin class AbstractMixinClass {
+  AbstractMixinClass();
+  AbstractMixinClass.x();
+}
+
+main() {
+  var tf1 = AbstractMixinClass.new;
+//          ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = AbstractMixinClass.x;
+//          ^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Class-modifiers/syntax_sealed_class_A01_t02.dart

@@ -0,0 +1,27 @@
+// 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.
+
+/// @assertion Sealed class cannot be constructed, extended, implemented or
+/// mixed in but is exhaustive
+///
+/// @description Checks that it is a compile-time error to tear off constructor
+/// of a `sealed class`
+/// @author [email protected]
+
+sealed class SealedClass {
+  SealedClass();
+  SealedClass.x();
+}
+
+main() {
+  var tf1 = SealedClass.new;
+//          ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var tf2 = SealedClass.x;
+//          ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}