blob: c40d52049e9b81a40262a58d647effe11555e917 [file] [edit]
// Copyright (c) 2019, 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 static member with basename `n`
/// and the interface of `C` has an instance member with basename `n`.
///
/// @description Check that it is a compile-time error if `C` declares a static
/// member with basename `n` and an instance member with basename `n`. Test
/// instance method.
/// @author sgrekhov@unipro.ru
class C {
void s1() {}
void s2() {}
void s3() {}
void s4() {}
void s5() {}
void _s1() {}
void _s2() {}
void _s3() {}
void _s4() {}
void _s5() {}
static set s1(int value) {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static void s2() {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s3() => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int get s4 => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s5 = 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static set _s1(int value) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static void _s2() {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s3() => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int get _s4 => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s5 = 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
}
mixin M {
void s1() {}
void s2() {}
void s3() {}
void s4() {}
void s5() {}
void _s1() {}
void _s2() {}
void _s3() {}
void _s4() {}
void _s5() {}
static set s1(int value) {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static void s2() {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s3() => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int get s4 => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s5 = 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static set _s1(int value) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static void _s2() {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s3() => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int get _s4 => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s5 = 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
}
enum E {
e0;
void s1() {}
void s2() {}
void s3() {}
void s4() {}
void s5() {}
void _s1() {}
void _s2() {}
void _s3() {}
void _s4() {}
void _s5() {}
static set s1(int value) {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static void s2() {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s3() => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int get s4 => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s5 = 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static set _s1(int value) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static void _s2() {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s3() => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int get _s4 => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s5 = 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
}
class A {}
extension Ext on A {
void s1() {}
void s2() {}
void s3() {}
void s4() {}
void s5() {}
void _s1() {}
void _s2() {}
void _s3() {}
void _s4() {}
void _s5() {}
static set s1(int value) {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static void s2() {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s3() => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int get s4 => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s5 = 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static set _s1(int value) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static void _s2() {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s3() => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int get _s4 => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s5 = 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
}
extension type ET(int _) {
void s1() {}
void s2() {}
void s3() {}
void s4() {}
void s5() {}
void _s1() {}
void _s2() {}
void _s3() {}
void _s4() {}
void _s5() {}
static set s1(int value) {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static void s2() {}
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s3() => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int get s4 => 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static int s5 = 1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static set _s1(int value) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static void _s2() {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s3() => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int get _s4 => 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
static int _s5 = 1;
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
}
main() {
print(C);
print(M);
print(E);
print(A);
print(ET);
}