mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
os-rust/compiler/rustc_hir_analysis
History
Oli Scherer 9cc4e2361e Prefer identity equality over equating types during coercion. 
These types are always generic only over their own generic parameters with no inference variables involved.
2024-04-16 16:00:55 +00:00
..
src Prefer identity equality over equating types during coercion. 2024-04-16 16:00:55 +00:00
Cargo.toml bump itertools to 0.12 2024-03-08 12:34:05 +03:00
messages.ftl More polishing 2024-04-15 16:45:48 -04:00
README.md rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00

README.md

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