2 ms·
mrustc assume all rust code is valid and skips all those heuristics checks. gccrs on the other hand, aims to be a full implementation with all those checkers.
by j16sdiz 4y ago
mrustc assume all rust code is valid and skips all those heuristics checks.
gccrs on the other hand, aims to be a full implementation with all those checkers.
- 3836293648 4y agoGccrs does not aim to be a full implementation. They're aiming to be a good enough implementation that they can steal the last parts (the borrow checker) from rustc. More specifically they're aiming to steal the next gen borrow checker, not the current one