Implement type inference for "not" expressions.

pkg/front_end/testcases/inference/infer_binary_double_double.dart.strong.expect

Index: pkg/front_end/testcases/inference/infer_binary_double_double.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/infer_binary_double_double.dart.strong.expect b/pkg/front_end/testcases/inference/infer_binary_double_double.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..b489197455e3243a049c034682c43022bc443f57
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_binary_double_double.dart.strong.expect
@@ -0,0 +1,30 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static field core::bool a_equal = 1.0.{core::num::==}(2.0);
+static field core::bool a_notEqual = !1.0.{core::num::==}(2.0);
+static field core::double a_add = 1.0.{core::double::+}(2.0);
+static field core::double a_subtract = 1.0.{core::double::-}(2.0);
+static field core::double a_multiply = 1.0.{core::double::*}(2.0);
+static field core::double a_divide = 1.0.{core::double::/}(2.0);
+static field core::int a_floorDivide = 1.0.{core::double::~/}(2.0);
+static field core::bool a_greater = 1.0.{core::num::>}(2.0);
+static field core::bool a_less = 1.0.{core::num::<}(2.0);
+static field core::bool a_greaterEqual = 1.0.{core::num::>=}(2.0);
+static field core::bool a_lessEqual = 1.0.{core::num::<=}(2.0);
+static field core::double a_modulo = 1.0.{core::double::%}(2.0);
+static method main() → dynamic {
+  self::a_equal;
+  self::a_notEqual;
+  self::a_add;
+  self::a_subtract;
+  self::a_multiply;
+  self::a_divide;
+  self::a_floorDivide;
+  self::a_greater;
+  self::a_less;
+  self::a_greaterEqual;
+  self::a_lessEqual;
+  self::a_modulo;
+}