diff --git a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php index 4c910db97..2d5564bac 100644 --- a/src/Psalm/Internal/Type/NegatedAssertionReconciler.php +++ b/src/Psalm/Internal/Type/NegatedAssertionReconciler.php @@ -208,7 +208,6 @@ class NegatedAssertionReconciler extends Reconciler $suppressed_issues, $failed_reconciliation, $is_equality, - $is_strict_equality, $inside_loop ); diff --git a/src/Psalm/Internal/Type/SimpleNegatedAssertionReconciler.php b/src/Psalm/Internal/Type/SimpleNegatedAssertionReconciler.php index 892b649cc..2d6498a10 100644 --- a/src/Psalm/Internal/Type/SimpleNegatedAssertionReconciler.php +++ b/src/Psalm/Internal/Type/SimpleNegatedAssertionReconciler.php @@ -65,7 +65,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler array $suppressed_issues = [], int &$failed_reconciliation = Reconciler::RECONCILIATION_EMPTY, bool $is_equality = false, - bool $is_strict_equality = false, bool $inside_loop = false ): ?Union { if ($assertion === 'object' && !$existing_var_type->hasMixed()) { @@ -185,8 +184,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler $code_location, $suppressed_issues, $failed_reconciliation, - $is_equality, - $is_strict_equality, false ); } @@ -575,8 +572,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler ?CodeLocation $code_location, array $suppressed_issues, int &$failed_reconciliation, - bool $is_equality, - bool $is_strict_equality, bool $recursive_check ): Union { $old_var_type_string = $existing_var_type->getId(); @@ -732,7 +727,7 @@ class SimpleNegatedAssertionReconciler extends Reconciler foreach ($existing_var_type->getAtomicTypes() as $type_key => $existing_var_atomic_type) { if ($existing_var_atomic_type instanceof TTemplateParam) { - if (!$is_equality && !$existing_var_atomic_type->as->isMixed()) { + if (!$existing_var_atomic_type->as->isMixed()) { $template_did_fail = 0; $existing_var_atomic_type = clone $existing_var_atomic_type; @@ -745,8 +740,6 @@ class SimpleNegatedAssertionReconciler extends Reconciler $code_location, $suppressed_issues, $template_did_fail, - $is_equality, - $is_strict_equality, true );