Add tests static_extension_constant_...

Testing that it is a compile-time error to invoke an extension method
during constant expression evaluation.

Change-Id: I52404d87c7da977451411f6cfc10c7059864fba4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/123580
Commit-Queue: Erik Ernst <[email protected]>
Reviewed-by: Leaf Petersen <[email protected]>

Author: eernstg

tests/language_2/extension_methods/static_extension_constant_error_test.dart

@@ -0,0 +1,90 @@
+// 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.
+
+// SharedOptions=--enable-experiment=extension-methods
+
+import 'static_extension_constant_lib.dart';
+
+// Tests that it is an error to invoke an extension method during constant
+// expression evaluation. The expressions should be the same as those in
+// `runtimeExtensionCalls`, so that it is verified that each of them will
+// invoke an extension method.
+
+void main() {
+  // The initializing expressions should be identical to the elements in
+  // `runtimeExtensionCalls`.
+
+  const c01 = ~i;
+  //          ^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c02 = b & b;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c03 = b | b;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c04 = b ^ b;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c05 = i ~/ i;
+  //          ^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c06 = i >> i;
+  //          ^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c08 = i << i;
+  //          ^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c09 = i + i;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c10 = -i;
+  //          ^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c11 = d - d;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c12 = d * d;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c13 = d / d;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c14 = d % d;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c15 = d < i;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c16 = i <= d;
+  //          ^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c17 = d > i;
+  //          ^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c18 = i >= i;
+  //          ^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+  const c19 = s.length;
+  //          ^^^^^^^^
+  // [analyzer] unspecified
+  // [cfe] unspecified
+}

tests/language_2/extension_methods/static_extension_constant_lib.dart

@@ -0,0 +1,55 @@
+// 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.
+
+extension ExtendObject on Object {
+  int operator ~() => 1;
+  bool operator &(Object other) => false;
+  bool operator |(Object other) => false;
+  bool operator ^(Object other) => true;
+  int operator ~/(Object other) => 0;
+  int operator >>(Object other) => 1;
+  // int operator >>>(Object other) => 2; // Requires triple-shift.
+  int operator <<(Object other) => 0;
+  int operator +(Object other) => 0;
+  double operator -() => 1.0;
+  double operator -(Object other) => 1.0;
+  double operator *(Object other) => 1.0;
+  double operator /(Object other) => 2.0;
+  double operator %(Object other) => 1.0;
+  bool operator <(Object other) => false;
+  bool operator <=(Object other) => true;
+  bool operator >(Object other) => true;
+  bool operator >=(Object other) => false;
+  int get length => 1;
+}
+
+const Object b = true;
+const Object i = 3;
+const Object d = 2.4;
+const Object s = 'Hello!';
+
+// These expressions should be identical to the ones in
+// static_extension_constant_{,error}_test.dart, to ensure that
+// they invoke an extension method, and that this is an error.
+var runtimeExtensionCalls = <Object>[
+  ~i,
+  b & b,
+  b | b,
+  b ^ b,
+  i ~/ i,
+  i >> i,
+  // i >>> i, // Requries triple-shift.
+  i << i,
+  i + i,
+  -i,
+  d - d,
+  d * d,
+  d / d,
+  d % d,
+  d < i,
+  i <= d,
+  d > i,
+  i >= i,
+  s.length,
+];

tests/language_2/extension_methods/static_extension_constant_test.dart

@@ -0,0 +1,48 @@
+// 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.
+
+// SharedOptions=--enable-experiment=extension-methods
+
+import 'package:expect/expect.dart';
+import 'static_extension_constant_lib.dart' hide b, i, d, s;
+import 'static_extension_constant_lib.dart' as lib show b, i, d, s;
+
+// Ensure that all expressions in runtimeExtensionCalls invoke
+// an extension method rather than an instance method, such that
+// static_extension_constant_error_test gets an error for them all.
+
+const dynamic b = lib.b;
+const dynamic i = lib.i;
+const dynamic d = lib.d;
+const dynamic s = lib.s;
+
+// These expressions should be identical to those in
+// `lib.runtimeExtensionCalls`.
+var dynamicInstanceCalls = <Object>[
+  ~i,
+  b & b,
+  b | b,
+  b ^ b,
+  i ~/ i,
+  i >> i,
+  // i >>> i, // Requries triple-shift.
+  i << i,
+  i + i,
+  -i,
+  d - d,
+  d * d,
+  d / d,
+  d % d,
+  d < i,
+  i <= d,
+  d > i,
+  i >= i,
+  s.length,
+];
+
+void main() {
+  for (int i = 0; i < dynamicInstanceCalls.length; ++i) {
+    Expect.notEquals(dynamicInstanceCalls[i], runtimeExtensionCalls[i]);
+  }
+}