Cannot extract newtype information

[MikaelMayer]

Dafny version

3.11.0

Code to produce this issue

newtype Time = nat

datatype LogEntry = LogEntry(time: Time)

lemma TimeIsGreaterThanZero<T>(entry: LogEntry) {
  assert 0 <= entry.time;
}

Command to run and resulting output

Run in VSCode

What happened?

I did not find a way to express that the newtype is greater than zero.

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

Windows