4 ms·
> Rust could be a much more ergonomic language if the compiler wouldn't have to rely on function signatures alone but instead could peek into called function bo
by eptcyka 2y ago
> Rust could be a much more ergonomic language if the compiler wouldn't have to rely on function signatures alone but instead could peek into called function bodies
This path leads to unbounded runtime for the type checker/borrow checker. We’re not happy about build times as is.
- littlestymaar 2y agoAnd also lead to subtle errors for users of crates. Semver is hard enough to do when the compiler only deals with signatures, but if the body of the functions now contain invariants that can be relied on by function callers then it becomes intractable.