Validate args are correct for UnevaluatedConst, ExistentialTraitRef/ExistentialProjection by compiler-errors · Pull Request #131049 · rust-lang/rust (original) (raw)

rust-timer added a commit to rust-lang-ci/rust that referenced this pull request

Oct 22, 2024

@rust-timer

`` [Unrolled build for](/rust-lang-ci/rust/commit/55ab99286d09251d2de33dd9558e7c06f5f91dff "Unrolled build for #131049 Rollup merge of #131049 - compiler-errors:more-validation, r=spastorino

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.") rust-lang#131049 ``

[55ab992](/rust-lang-ci/rust/commit/55ab99286d09251d2de33dd9558e7c06f5f91dff)

Rollup merge of rust-lang#131049 - compiler-errors:more-validation, r=spastorino

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.