Remove traversable impl for ErrorGuaranteed

eggyal · eggyal · commit 73397feb80ca · 2023-11-08T21:21:43.000Z
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -128,8 +128,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
@@ -422,7 +422,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
`@@ -128,8 +128,7 @@ where`
`128`	`128`
`129`	`129`	`let outlives_env = OutlivesEnvironment::with_bounds(param_env, implied_bounds);`
`130`	`130`
`131`		`- wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)?;`
`132`		`- infcx.tainted_by_errors().error_reported()`
	`131`	`+ wfcx.ocx.resolve_regions_and_report_errors(body_def_id, &outlives_env)`
`133`	`132`	`}`
`134`	`133`
`135`	`134`	`fn check_well_formed(tcx: TyCtxt<'_>, def_id: hir::OwnerId) -> Result<(), ErrorGuaranteed> {`
Original file line number	Diff line number	Diff line change
`@@ -422,7 +422,6 @@ TrivialLiftImpls! {`
`422`	`422`	`TrivialTypeTraversalImpls! {`
`423`	`423`	`crate::ty::BoundConstness,`
`424`	`424`	`::rustc_span::Span,`
`425`		`- ::rustc_errors::ErrorGuaranteed,`
`426`	`425`	`}`
`427`	`426`	`// For some things about which the type library does not know, or does not`
`428`	`427`	`// provide any traversal implementations, we need to provide a traversal`