psalm.dev REPL is broken

[still-dreaming-1]

Viewing the default example on the psalm.dev REPL thingy shows

Psalm runner output:

Internal Psalm error on line 374 - /vendor/vimeo/psalm/src/Psalm/Internal/Analyzer/ProjectAnalyzer.php: Typed property Psalm\Internal\Analyzer\ProjectAnalyzer::$project_files must not be accessed before initialization

I noticed this when trying to look at a reproduce example someone linked to in their issue.

[andrew-demb]

Just to leave here the link https://psalm.dev/r/2fcebd55aa

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2fcebd55aa

<?php

/**
 * @return array<string>
 */
function takesAnInt(int $i) {
    return [$i, "hello"];
}

$data = ["some text", 5];
takesAnInt($data[0]);

$condition = rand(0, 5);
if ($condition) {
} elseif ($condition) {}

Psalm encountered an internal error:

/vendor/vimeo/psalm/src/Psalm/Internal/Analyzer/ProjectAnalyzer.php: Typed property Psalm\Internal\Analyzer\ProjectAnalyzer::$project_files must not be accessed before initialization

[danog]

I've pinged @muglug who still controls the domain asking him to pull the latest version of the github.com/psalm/psalm.dev repo with the fixes.

Also trying to gain control of the domain to ensure this doesn't happen again, to be able to more quickly fix stuff