[rust-dev] Patterns that'll never match

Tommi rusty.gates at icloud.com
Sun Jun 1 04:04:40 PDT 2014

On 2014-06-01, at 13:48, Gábor Lehel <glaebhoerl at gmail.com> wrote:

> It would be possible in theory to teach the compiler about e.g. the comparison operators on built-in integral types, which don't involve any user code. It would only be appropriate as a warning rather than an error due to the inherent incompleteness of the analysis and the arbitrariness of what things to include in it. No opinion about whether it would be worth doing.

Perhaps this kind of thing would be better suited for a separate tool that could (contrary to a compiler) run this and other kinds of heuristics without having to worry about blowing up  compilation times.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140601/8a802329/attachment.html>

More information about the Rust-dev mailing list