granite-rust/compiler/rustc_hir_analysis
Matthias Krüger d4aca6bb24
Rollup merge of #106010 - oli-obk:tait_coherence_diagnostic, r=compiler-errors
Give opaque types a better coherence error
2022-12-22 11:03:52 +01:00
..
src Rollup merge of #106010 - oli-obk:tait_coherence_diagnostic, r=compiler-errors 2022-12-22 11:03:52 +01:00
Cargo.toml Rewrite representability 2022-10-07 09:33:46 -05:00
README.md rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00

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