Narrow type

Author: sebastianbergmann

src/TextUI/Configuration/Xml/LoadedFromFileConfiguration.php

@@ -23,6 +23,9 @@
  */
 final readonly class LoadedFromFileConfiguration extends Configuration
 {
+    /**
+     * @psalm-var non-empty-string
+     */
     private string $filename;
     private ValidationResult $validationResult;
 
@@ -32,6 +35,7 @@
     private array $warnings;
 
     /**
+     * @param non-empty-string       $filename
      * @param list<non-empty-string> $warnings
      */
     public function __construct(string $filename, ValidationResult $validationResult, ExtensionBootstrapCollection $extensions, Source $source, CodeCoverage $codeCoverage, Groups $groups, Logging $logging, Php $php, PHPUnit $phpunit, TestSuiteCollection $testSuite, array $warnings)
@@ -52,6 +56,9 @@ public function __construct(string $filename, ValidationResult $validationResult
         );
     }
 
+    /**
+     * @psalm-return non-empty-string
+     */
     public function filename(): string
     {
         return $this->filename;

src/TextUI/Configuration/Xml/Loader.php

@@ -108,6 +108,8 @@ public function load(string $filename): LoadedFromFileConfiguration
 
         $configurationFileRealpath = realpath($filename);
 
+        assert($configurationFileRealpath !== false && $configurationFileRealpath !== '');
+
         $warnings = [];
 
         return new LoadedFromFileConfiguration(