bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity
rust/compiler/rustc_hir_analysis
History
许杰友 Jieyou Xu (Joe) 1df7b30926
Rollup merge of #136432 - fmease:lta-fix-def-site-checks, r=compiler-errors 
LTA: Actually check where-clauses for well-formedness at the def site

All of the added tests used to wrongfully pass.

r? oli-obk or types/compiler or reassign
2025-02-03 19:13:27 +08:00
..
src Rollup merge of #136432 - fmease:lta-fix-def-site-checks, r=compiler-errors 2025-02-03 19:13:27 +08:00
Cargo.toml rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structures 2024-12-16 19:08:19 +01:00
messages.ftl Maintain a list of types permitted per pattern 2025-02-02 19:30:53 +00:00
README.md

README.md

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