mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-04 11:17:04 +00:00
8efbc2cbae
a small wf and clause cleanup - remove `Clause::from_projection_clause`, instead use `ToPredicate` - change `predicate_obligations` to directly take a `Clause` - remove some unnecessary `&` - use clause in `min_specialization` checks where easily applicable
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.