feat(ts/analyzer): Detect more non-optional delete operands (#142)

crates/stc_ts_file_analyzer/src/analyzer/expr/unary.rs

@@ -214,7 +214,15 @@ impl Analyzer<'_, '_> {
                 ..
             }) => Err(Error::CannotDeletePrivateProperty { span }),
 
-            RExpr::Member(..) => return Ok(()),
+            RExpr::Member(me) => {
+                if self.rule().strict_null_checks {
+                    let ty = self.type_of_member_expr(me, TypeOfMode::RValue)?;
+                    if !self.can_be_undefined(span, &ty)? {
+                        return Err(Error::DeleteOperandMustBeOptional { span });
+                    }
+                }
+                return Ok(());
+            }
 
             RExpr::Await(..) => Err(Error::InvalidDeleteOperand { span }),
 

crates/stc_ts_type_checker/tests/conformance.pass.txt

@@ -278,6 +278,7 @@ controlFlow/controlFlowBinaryAndExpression.ts
 controlFlow/controlFlowBindingPatternOrder.ts
 controlFlow/controlFlowCommaOperator.ts
 controlFlow/controlFlowConditionalExpression.ts
+controlFlow/controlFlowDeleteOperator.ts
 controlFlow/controlFlowDestructuringDeclaration.ts
 controlFlow/controlFlowDoWhileStatement.ts
 controlFlow/controlFlowElementAccess.ts

crates/stc_ts_type_checker/tests/tsc-stats.rust-debug

@@ -1,5 +1,5 @@
 Stats {
-    required_error: 4159,
-    matched_error: 5536,
-    extra_error: 1024,
+    required_error: 4158,
+    matched_error: 5537,
+    extra_error: 1015,
 }