psalm-mutation-free not working

[AndrolGenhald]

The @psalm-mutation-free example in the documentation doesn't show any errors: https://psalm.dev/r/23642086f5

Git bisecting points to this commit as introducing the issue.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/23642086f5

<?php
class D {
  private string $s;

  public function __construct(string $s) {
    $this->s = $s;
  }

  /**
   * @psalm-mutation-free
   */
  public function getShort() : string {
    return substr($this->s, 0, 5);
  }

  /**
   * @psalm-mutation-free
   */
  public function getShortMutating() : string {
    $this->s .= "hello"; // this is a bug
    return substr($this->s, 0, 5);
  }
}

Psalm output (using commit ced2646):

No issues!

[AndrolGenhald]

@muglug It looks like the issue persists (haven't tested locally, but psalm.dev still shows no errors with the latest commit).

[muglug]

That example should be caught too now, sorry