UnevaluatedCode error not found when return occurs inside finally

[evannoronha]

Here, I would expect an UnevaluatedCode message, since the last return of this function will never be evaluated.

<?php

function noOp(): void {
  return; 
}
function doAThing(): bool {
  try {
    noOp();
  } finally {
    return true;
  }
  return false;
}

https://psalm.dev/r/d36dedcb6c

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d36dedcb6c

<?php

function noOp(): void {
	return; 
}
function doAThing(): bool {
  try {
    noOp();
  } finally {
    return true;
  }
  return false;
}

Psalm output (using commit 09137b0):

No issues!