From a2bf87b1fcaaba524e64995f38d4ef23f93cb232 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20B=C3=B6sing?=
 <2189546+boesing@users.noreply.github.com>
Date: Mon, 15 Nov 2021 18:31:28 +0100
Subject: [PATCH] qa: ensure psalm is able to understand already verified types
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
---
 .../Internal/Codebase/ClassConstantByWildcardResolverTest.php  | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/Internal/Codebase/ClassConstantByWildcardResolverTest.php b/tests/Internal/Codebase/ClassConstantByWildcardResolverTest.php
index caae40988..72a9eb1e5 100644
--- a/tests/Internal/Codebase/ClassConstantByWildcardResolverTest.php
+++ b/tests/Internal/Codebase/ClassConstantByWildcardResolverTest.php
@@ -68,7 +68,10 @@ final class ClassConstantByWildcardResolverTest extends TestCase
         }
 
         $resolved = $this->resolver->resolve('ReconciliationTest\\Foo', 'QOO');
+        self::assertNotNull($resolved);
+        /** @var list<\Psalm\Type\Atomic> */
         self::assertCount(1, $resolved);
+        /** @var non-empty-list<\Psalm\Type\Atomic> $type */
         $type = $resolved[0];
         self::assertInstanceOf(TLiteralString::class, $type);
         self::assertTrue($type->value === 'qoo');