From 3ecef8bee79648aa24ed21b27495e5fe72ed2ba0 Mon Sep 17 00:00:00 2001
From: Matthew Brown <github@muglug.com>
Date: Sun, 17 May 2020 22:49:20 -0400
Subject: [PATCH] Fix #3386 - non-empty-array = non-empty-array<array-key,
 mixed>

---
 src/Psalm/Type/Atomic.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Psalm/Type/Atomic.php b/src/Psalm/Type/Atomic.php
index 6eccd26a4..d0beb2303 100644
--- a/src/Psalm/Type/Atomic.php
+++ b/src/Psalm/Type/Atomic.php
@@ -169,7 +169,7 @@ abstract class Atomic implements TypeNode
                 return new TArray([new Union([new TArrayKey]), new Union([new TMixed])]);
 
             case 'non-empty-array':
-                return new TNonEmptyArray([new Union([new TMixed]), new Union([new TMixed])]);
+                return new TNonEmptyArray([new Union([new TArrayKey]), new Union([new TMixed])]);
 
             case 'callable-array':
                 return new Type\Atomic\TCallableArray([new Union([new TArrayKey]), new Union([new TMixed])]);