mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-04 19:28:29 +00:00
7307dc0ca1
Distinguish prepending and replacing self ty in predicates There are two kinds of functions called `with_self_ty`: 1. Prepends the `Self` type onto an `ExistentialPredicate` which lacks it in its internal representation. 2. Replaces the `Self` type of an existing predicate, either for diagnostics purposes or in the new trait solver when normalizing that self type. This PR distinguishes these two because I often want to only grep for one of them. Namely, let's call it `with_replaced_self_ty` when all we're doing is replacing the self type.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.