Use `!=` for mtime comparison instead of `>`

zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

https://zed.dev

Other

50.45k stars 3.12k forks source link

Open mgsloan opened 9 hours ago

mgsloan commented 9 hours ago

This improves some behavior, but also reveals misbehavior such as #21034.

See "mtime comparison considered harmful" for details of why comparators other than equality/inequality should not be used with mtime.

Release Notes:

Fixes file modification time comparison to use != instead of >, mitigating issues described in a blog post "mtime comparison considered harmful".