Change Psalm config.

Author: Heiko Jerichen

psalm.xml

@@ -20,6 +20,9 @@
         <PropertyNotSetInConstructor errorLevel="suppress"/>
         <MissingConstructor errorLevel="suppress"/>
         <InvalidDocblock errorLevel="suppress"/>
+        <MissingOverrideAttribute errorLevel="suppress"/>
+        <UndefinedThisPropertyFetch errorLevel="suppress"/>
+        <ClassMustBeFinal errorLevel="suppress"/>
     </issueHandlers>
     <plugins>
         <pluginClass class="Psalm\PhpUnitPlugin\Plugin"/>

src/PHPProphetTrait.php

@@ -7,11 +7,11 @@
 use PHPUnit\Framework\Attributes\PostCondition;
 use PHPUnit\Framework\TestCase;
 use Prophecy\Exception\Prediction\PredictionException;
-use Prophecy\Prophecy\MethodProphecy;
 use Prophecy\Prophet;
 
 /**
  * @author Heiko Jerichen <heiko@jerichen.de>
+ * @psalm-suppress UndefinedThisPropertyFetch
  */
 trait PHPProphetTrait
 {