diff --git a/src/Psalm/Internal/Type/Comparator/KeyedArrayComparator.php b/src/Psalm/Internal/Type/Comparator/KeyedArrayComparator.php
index 1607f1c48..9eba87810 100644
--- a/src/Psalm/Internal/Type/Comparator/KeyedArrayComparator.php
+++ b/src/Psalm/Internal/Type/Comparator/KeyedArrayComparator.php
@@ -75,7 +75,7 @@ class KeyedArrayComparator
             $property_type_comparison = new TypeComparisonResult();
 
             if (!$input_property_type->isNever()) {
-                if (!UnionTypeComparator::isContainedBy(
+                $is_input_containedby_container = UnionTypeComparator::isContainedBy(
                     $codebase,
                     $input_property_type,
                     $container_property_type,
@@ -83,9 +83,8 @@ class KeyedArrayComparator
                     $input_property_type->ignore_falsable_issues,
                     $property_type_comparison,
                     $allow_interface_equality,
-                )
-                    && !$property_type_comparison->type_coerced_from_scalar
-                ) {
+                );
+                if (!$is_input_containedby_container && !$property_type_comparison->type_coerced_from_scalar) {
                     $inverse_property_type_comparison = new TypeComparisonResult();
 
                     if ($atomic_comparison_result) {
@@ -111,6 +110,9 @@ class KeyedArrayComparator
 
                     $all_types_contain = false;
                 } else {
+                    if (!$is_input_containedby_container) {
+                        $all_types_contain = false;
+                    }
                     if ($atomic_comparison_result) {
                         $atomic_comparison_result->to_string_cast
                             = $atomic_comparison_result->to_string_cast === true
diff --git a/tests/FunctionCallTest.php b/tests/FunctionCallTest.php
index 71afb79e9..434fbb2fb 100644
--- a/tests/FunctionCallTest.php
+++ b/tests/FunctionCallTest.php
@@ -2644,6 +2644,21 @@ class FunctionCallTest extends TestCase
                     foo();',
                 'error_message' => 'InvalidReturnType',
             ],
+            'DontAcceptArrayWithShapesNotContained' => [
+                'code' => '<?php
+
+                    /** @param array{bar: 0|positive-int} $foo */
+                    function takesArrayShapeWithZeroOrPositiveInt(array $foo): void
+                    {
+                    }
+
+                    /** @var int $mayBeInt */
+                    $mayBeInt = -1;
+
+                    takesArrayShapeWithZeroOrPositiveInt(["bar" => $mayBeInt]);
+                ',
+                'error_message' => 'InvalidArgument',
+            ],
         ];
     }