Rollup merge of #152813 - makai410:debug-impl, r=lqd

JonathanBrouwer · web-flow · commit 47e2fec78d64 · 2026-02-20T22:00:58.000+01:00
Skip the `use_existential_projection_new_instead` field in the `Debug` impl Resolves: #152807 . Simply slap a `#derive_where[skip(Debug)]` on that field.
diff --git a/compiler/rustc_type_ir/src/predicate.rs b/compiler/rustc_type_ir/src/predicate.rs
@@ -420,6 +420,7 @@ pub struct ExistentialProjection<I: Interner> {
 
     /// This field exists to prevent the creation of `ExistentialProjection`
     /// without using [`ExistentialProjection::new_from_args`].
+    #[derive_where(skip(Debug))]
     use_existential_projection_new_instead: (),
 }
 

Original file line number	Diff line number	Diff line change
`@@ -420,6 +420,7 @@ pub struct ExistentialProjection<I: Interner> {`
`420`	`420`
`421`	`421`	/// This field exists to prevent the creation of `ExistentialProjection`
`422`	`422`	/// without using [`ExistentialProjection::new_from_args`].
	`423`	`+ #[derive_where(skip(Debug))]`
`423`	`424`	`use_existential_projection_new_instead: (),`
`424`	`425`	`}`
`425`	`426`