blob: 10d4ef766fd93fd2e8f82796be6ac2c5261e6ac1 [file] [edit]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:6:14: Error: The 'external-effect' pragma can only be applied to methods.
// Try removing the pragma or applying it to a method.
// external int a;
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:9:18: Error: The 'external-effect' pragma can only be applied to methods.
// Try removing the pragma or applying it to a method.
// external int get b;
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:12:14: Error: The 'external-effect' pragma can only be applied to methods.
// Try removing the pragma or applying it to a method.
// external set c(int value);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:15:6: Error: A function annotated with the 'external-effect' pragma must be external.
// Try making the function external.
// void d(Object? o) {}
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:18:15: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external void e(Object o);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:27:17: Error: A function annotated with the 'external-effect' pragma must be static.
// Try making the function static.
// external void a(Object? o);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:30:23: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static int b(Object? o);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:33:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void c(Object? o, Object? x);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:36:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void d(int i);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:39:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void e([Object? o = const Object()]);
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:42:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void f({required Object? o});
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:45:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void g({Object? o = 3});
// ^
//
// pkg/front_end/testcases/external_effect/invalid_annotations.dart:48:24: Error: A function annotated with the 'external-effect' pragma must have the type 'void Function(Object?)'
// Try correcting the type of the function.
// external static void h<T>(T? t);
// ^
//
import self as self;
import "dart:core" as core;
class A extends core::Object {
synthetic constructor •() self::A
;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external method a(core::Object? o) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method b(core::Object? o) core::int;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method c(core::Object? o, core::Object? x) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method d(core::int i) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method e([has-declared-initializer core::Object? o]) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method f({required core::Object? o}) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method g({has-declared-initializer core::Object? o}) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method h<T extends core::Object? = dynamic>(self::A::h::T? t) void;
}
static const field core::String z = "external-effect";
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static get a() core::int;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static set a(synthesized core::int #externalFieldValue) → void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static get b() core::int;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static set c(core::int value) void;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
static method d(core::Object? o) void
;
@/*original=core::pragma::•*/ const core::pragma::_("external-effect")
external static method e(core::Object o) void;
@/*original=core::pragma::•*/ const core::pragma::_(self::z)
external static method f(core::Object? o) void;
static method main() void
;
Extra constant evaluation status:
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:26:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:29:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:32:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:35:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:38:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:41:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:44:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:47:4 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:5:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:5:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:8:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:11:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:14:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:17:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Evaluated: RedirectingFactoryInvocation @ org-dartlang-testcase:///invalid_annotations.dart:22:2 -> InstanceConstant(const pragma{pragma.name: "external-effect", pragma.options: null})
Extra constant evaluation: evaluated: 15, effectively constant: 15