Remove superfluous traversable impl for ErrorGuaranteed

eggyal · eggyal · commit 0a2a10291631 · 2023-11-05T20:48:24.000Z
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -127,8 +127,7 @@ where
 
     let outlives_env = OutlivesEnvironment::with_bounds(param_env, implied_bounds);
 
-    wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)?;
-    infcx.tainted_by_errors().error_reported()
+    wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)
 }
 
 fn check_well_formed(tcx: TyCtxt<'_>, def_id: hir::OwnerId) -> Result<(), ErrorGuaranteed> {
diff --git a/compiler/rustc_middle/src/ty/structural_impls.rs b/compiler/rustc_middle/src/ty/structural_impls.rs
@@ -423,7 +423,6 @@ TrivialLiftImpls! {
 TrivialTypeTraversalImpls! {
     crate::ty::BoundConstness,
     ::rustc_span::Span,
-    ::rustc_errors::ErrorGuaranteed,
 }
 // For some things about which the type library does not know, or does not
 // provide any traversal implementations, we need to provide a traversal

Original file line number	Diff line number	Diff line change
`@@ -127,8 +127,7 @@ where`
`127`	`127`
`128`	`128`	`let outlives_env = OutlivesEnvironment::with_bounds(param_env, implied_bounds);`
`129`	`129`
`130`		`- wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)?;`
`131`		`- infcx.tainted_by_errors().error_reported()`
	`130`	`+ wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)`
`132`	`131`	`}`
`133`	`132`
`134`	`133`	`fn check_well_formed(tcx: TyCtxt<'_>, def_id: hir::OwnerId) -> Result<(), ErrorGuaranteed> {`
Original file line number	Diff line number	Diff line change
`@@ -423,7 +423,6 @@ TrivialLiftImpls! {`
`423`	`423`	`TrivialTypeTraversalImpls! {`
`424`	`424`	`crate::ty::BoundConstness,`
`425`	`425`	`::rustc_span::Span,`
`426`		`- ::rustc_errors::ErrorGuaranteed,`
`427`	`426`	`}`
`428`	`427`	`// For some things about which the type library does not know, or does not`
`429`	`428`	`// provide any traversal implementations, we need to provide a traversal`