Remove some bogus type promotion code.

pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart

Index: pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart b/pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart
index 80229e9c0f6d1324c67e729cacf31626cc8016d6..4f90dbd818da0ec2687d5ee83d66fe5a81ad4442 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_promotion.dart
@@ -206,9 +206,7 @@ abstract class TypePromoterImpl<E, V> extends TypePromoter<E, V> {
         _computeCurrentFactMap()[variable],
         functionNestingLevel,
         type);
-    if (isInverted) {
-      _recordPromotionExpression(isExpression, _currentFacts, isCheck);
-    } else {
+    if (!isInverted) {
       _recordPromotionExpression(isExpression, isCheck, _currentFacts);
     }
   }