blob: dced3a0e25c9db21528957d3541f1b3fe673c942 [file] [log] [blame] [edit]
// Copyright (c) 2024, 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 Consider a non-augmenting member declaration Dm that occurs
/// inside an augmenting type declaration Dt. A compile-time error occurs if the
/// identifier `augmented` occurs in Dm.
///
/// @description Checks that it is a compile-time error to use an `augmented`
/// variable in a right hand expression in a non-augmenting member declaration
/// inside an augmenting declaration.
/// @author sgrekhov22@gmail.com
// SharedOptions=--enable-experiment=macros
part of 'augmented_expression_A10_t09.dart';
augment class C {
static var staticVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
static void staticMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
static int get staticGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
static void set staticSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
var instanceVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
void instanceMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
int get instanceGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
void set instanceSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
}
augment mixin M {
static var staticVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
static void staticMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
static int get staticGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
static void set staticSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
var instanceVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
void instanceMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
int get instanceGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
void set instanceSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
}
augment enum E {
augment e0;
static var staticVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
static void staticMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
static int get staticGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
static void set staticSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
void instanceMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
int get instanceGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
void set instanceSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
}
augment extension Ext {
static var staticVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
static void staticMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
static int get staticGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
static void set staticSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
void instanceMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
int get instanceGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
void set instanceSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
}
augment extension type ET {
static var staticVariable = () {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
};
static void staticMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
static int get staticGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
static void set staticSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
void instanceMethod() {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
int get instanceGetter {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
return 0;
}
void set instanceSetter(int _) {
int v = augmented;
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
for (int i = augmented; i < 0; i++) {}
// ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
}