rust/rustc_hir_analysis at 9cd44f81427a0536a9dceeb56e5801ad53d285b5 - rust - Gitea: Git with a cup of tea

rust-lang/rust

Files

History

Oli Scherer ae80c764d4 Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

2022-11-21 16:35:04 +00:00

..

Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

2022-11-21 16:35:04 +00:00

Cargo.toml

Rewrite representability

2022-10-07 09:33:46 -05: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.