Skip to content

Commit

Permalink
#2162. Add more constructor vs. static member conflict tests (#3055)
Browse files Browse the repository at this point in the history
  • Loading branch information
@sgrekhov
sgrekhov authored Jan 24, 2025
1 parent 1a53098 commit 1be194f
Show file tree
Hide file tree
Showing 4 changed files with 403 additions and 13 deletions.
64 changes: 51 additions & 13 deletions Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,51 +2,89 @@
// 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 Let C be a class. It is a compile-time error if C declares a
/// constructor named C.n and a static member with basename n.
/// @assertion Let `C` be a class. It is a compile-time error if `C` declares a
/// constructor named `C.n` and a static member with basename `n`.
///
/// @description Check that it is a compile-time error if class `C` declares a
/// constructor named `C.n` and a static member with basename `n`.
/// generative constructor named `C.n` and a static member with basename `n`.
/// @author [email protected]
/// @issue 46814
class C {
C.s1() {}
// ^
// ^^
// [analyzer] unspecified
static set s1(var value) {}
// ^
// ^^
// [cfe] unspecified

C.s2() {}
// ^
// ^^
// [analyzer] unspecified
static void s2() {}
// ^
// ^^
// [cfe] unspecified

C.s3() {}
// ^
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^
// ^^
// [cfe] unspecified

C.s4() {}
// ^
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^
// ^^
// [cfe] unspecified

C.s5() {}
// ^
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

extension type ET(int _) {
ET.s1(this._) {}
// ^^
// [analyzer] unspecified
static set s1(var _) {}
// ^^
// [cfe] unspecified

ET.s2(this._) {}
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

ET.s3(this._) {}
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

ET.s4(this._) {}
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

ET.s5(this._) {}
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^
// ^^
// [cfe] unspecified
}

main() {
print(C);
print(ET);
}
129 changes: 129 additions & 0 deletions Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t02.dart
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,129 @@
// 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.

/// @assertion Let `C` be a class. It is a compile-time error if `C` declares a
/// constructor named `C.n` and a static member with basename `n`.
///
/// @description Check that it is a compile-time error if class `C` declares a
/// constant generative constructor named `C.n` and a static member with
/// basename `n`.
/// @author [email protected]
class C {
const C.s1();
// ^^
// [analyzer] unspecified
static set s1(var value) {}
// ^^
// [cfe] unspecified

const C.s2();
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

const C.s3();
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

const C.s4();
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

const C.s5();
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

enum E {
e0.s1();

const E.s1();
// ^^
// [analyzer] unspecified
static set s1(var value) {}
// ^^
// [cfe] unspecified

const E.s2();
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

const E.s3();
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

const E.s4();
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

const E.s5();
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

extension type ET(int _) {
const ET.s1(this._);
// ^^
// [analyzer] unspecified
static set s1(var _) {}
// ^^
// [cfe] unspecified

const ET.s2(this._);
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

const ET.s3(this._);
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

const ET.s4(this._);
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

const ET.s5(this._);
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

main() {
print(C);
print(ET);
}
132 changes: 132 additions & 0 deletions Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t03.dart
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,132 @@
// 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.

/// @assertion Let `C` be a class. It is a compile-time error if `C` declares a
/// constructor named `C.n` and a static member with basename `n`.
///
/// @description Check that it is a compile-time error if class `C` declares a
/// redirecting constructor named `C.n` and a static member with basename `n`.
/// @author [email protected]
class C {
C();

C.s1() : this();
// ^^
// [analyzer] unspecified
static set s1(var value) {}
// ^^
// [cfe] unspecified

C.s2() : this();
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

C.s3() : this();
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

C.s4() : this();
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

C.s5() : this();
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

enum E {
e0;

const E();

const E.s1() : this();
// ^^
// [analyzer] unspecified
static set s1(var value) {}
// ^^
// [cfe] unspecified

const E.s2() : this();
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

const E.s3() : this();
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

const E.s4() : this();
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

const E.s5() : this();
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

extension type ET(int n) {
ET.s1(int n) : this(n);
// ^^
// [analyzer] unspecified
static set s1(var _) {}
// ^^
// [cfe] unspecified

ET.s2(int n) : this(n);
// ^^
// [analyzer] unspecified
static void s2() {}
// ^^
// [cfe] unspecified

ET.s3(int n) : this(n);
// ^^
// [analyzer] unspecified
static int s3() => 1;
// ^^
// [cfe] unspecified

ET.s4(int n) : this(n);
// ^^
// [analyzer] unspecified
static int get s4 => 1;
// ^^
// [cfe] unspecified

ET.s5(int n) : this(n);
// ^^
// [analyzer] unspecified
static int s5 = 1;
// ^^
// [cfe] unspecified
}

main() {
print(C);
print(ET);
}
Loading

0 comments on commit 1be194f

Please sign in to comment.