Revealing does not work

[MikaelMayer]

Dafny version

4.0.1

Code to produce this issue

opaque predicate P(i: int) { true }

method testCallOpaqueAssert() {
  assert f0: P(0) by {
    reveal P();
  }
  assert P(0) by {
    reveal f0;
  }
}

Command to run and resulting output

Just run in VSCode, it does not verify

What happened?

It should have verified.

What type of operating system are you experiencing the problem on?

Windows