verus
forked from verus-lang/verus
Star 0
Fork 0
Watch
verus source rustc_hir_analysis
1 folder · 2 files
src
Cargo.toml
README.md
README.md

For high-level intro to how type checking works in rustc, see the hir typeck chapter of the rustc dev guide.