mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-28 20:16:58 +03:00
3f15d296f4
Validate args are correct for `UnevaluatedConst`, `ExistentialTraitRef`/`ExistentialProjection` For the `Existential*` ones, we have to do some adjustment to the args list to deal with the missing `Self` type, so we introduce a `debug_assert_existential_args_compatible` function to the interner as well.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.