On 2014-06-01, at 13:48, Gábor Lehel <[email protected]> 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.
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
