Support `SystemTime` with enabled isolation about miri HOT 4 CLOSED

We quite deliberately did not do that as it seemed even more confusing than the fake monotonic clock. The intended reaction to a program using SystemTime is -Zmiri-disable-isolation.

(Also, it's Miri, not MIRI. ;)

from miri.

FWIW if you have a good motivation for why you want this with isolation enabled, we could be persuaded. I just stated our reasoning for not having done this already. :)

from miri.

It's just a matter of convenience. It would be nice in my opinion to have this feature, but I understand your position above. I've asked the logger crate which we use in our tests to add support for Instant-based timestamps, which is an alternative way to resolve this.

Also, it's Miri, not MIRI.

I always thought it's an abbreviation of "Mid-level Intermediate Representation Interpreter". :)

from miri.

I always thought it's an abbreviation of "Mid-level Intermediate Representation Interpreter". :)

That is indeed the origin of the name, but we don't write it in all-caps. :)

from miri.