bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity
rust/compiler/rustc_hir_analysis
History
Jacob Pratt 5cf16d8b1f
Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiser 
Validate self in host predicates correctly

`assert_only_contains_predicates_from` was added to make sure that we are computing predicates for the correct self type for a given `PredicateFilter`. That was not implemented correctly for `PredicateFilter::SelfOnly` when there are const predicates.

Fixes #133526
2024-12-11 03:30:41 -05:00
..
src Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiser 2024-12-11 03:30:41 -05:00
Cargo.toml Remove unused intercrate dependencies 2024-11-07 14:17:16 +00:00
messages.ftl Tweak wording of non-const traits used as const bounds 2024-12-10 00:38:05 +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.