4 ms·
Stuff like the borrow-checker in the general case is also not computable, only for a small subset of programs, e.g. Rust programs.
by heinrich5991 11y ago
Stuff like the borrow-checker in the general case is also not computable, only for a small subset of programs, e.g. Rust programs.