Generic key type cannot be undefined

muglug · muglug · commit 96ce488241a9 · 2020-07-29T18:46:21.000-04:00
Fixes #3905
diff --git a/src/Psalm/Type/Atomic/ObjectLike.php b/src/Psalm/Type/Atomic/ObjectLike.php
@@ -220,6 +220,8 @@ public function getGenericKeyType()
 
         $key_type = TypeCombination::combineTypes($key_types);
 
+        $key_type->possibly_undefined = false;
+
         if ($this->previous_key_type) {
             $key_type = Type::combineUnionTypes($this->previous_key_type, $key_type);
         }

Original file line number	Diff line number	Diff line change
`@@ -220,6 +220,8 @@ public function getGenericKeyType()`
`220`	`220`
`221`	`221`	`$key_type = TypeCombination::combineTypes($key_types);`
`222`	`222`
	`223`	`+ $key_type->possibly_undefined = false;`
	`224`	`+`
`223`	`225`	`if ($this->previous_key_type) {`
`224`	`226`	`$key_type = Type::combineUnionTypes($this->previous_key_type, $key_type);`
`225`	`227`	`}`