then if at some moment `LastWriteDate` from the file will be greater than your synthesized `DateTime` - you'll end up with outdated typecheck results.