From 1567f40ec3c00d2f228bd3b71e0f583ef5e52e88 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Fri, 15 Dec 2023 14:03:15 -0800
Subject: [PATCH] Try to remove "doesn't implement Debug" in fallback expansion

---
 impl/src/expand.rs    |  5 ++++-
 tests/ui/union.stderr | 20 +++++++++-----------
 2 files changed, 13 insertions(+), 12 deletions(-)

diff --git a/impl/src/expand.rs b/impl/src/expand.rs
index 08e00fc..13c5fb3 100644
--- a/impl/src/expand.rs
+++ b/impl/src/expand.rs
@@ -36,7 +36,10 @@ fn fallback(input: &DeriveInput, error: syn::Error) -> TokenStream {
         #error
 
         #[allow(unused_qualifications)]
-        impl #impl_generics std::error::Error for #ty #ty_generics #where_clause {}
+        impl #impl_generics std::error::Error for #ty #ty_generics #where_clause
+        where
+            #ty #ty_generics: ::core::fmt::Debug,
+        {}
 
         #[allow(unused_qualifications)]
         impl #impl_generics ::core::fmt::Display for #ty #ty_generics #where_clause {
diff --git a/tests/ui/union.stderr b/tests/ui/union.stderr
index d54931c..8a07ae6 100644
--- a/tests/ui/union.stderr
+++ b/tests/ui/union.stderr
@@ -8,20 +8,18 @@ error: union as errors are not supported
   | |_^
 
 error[E0277]: `U` doesn't implement `Debug`
- --> tests/ui/union.rs:4:11
+ --> tests/ui/union.rs:3:10
   |
-4 | pub union U {
-  |           ^ `U` cannot be formatted using `{:?}`
+3 | #[derive(Error)]
+  |          ^^^^^ `U` cannot be formatted using `{:?}`
   |
   = help: the trait `Debug` is not implemented for `U`
   = note: add `#[derive(Debug)]` to `U` or manually `impl Debug for U`
-note: required by a bound in `std::error::Error`
- --> $RUST/core/src/error.rs
-  |
-  | pub trait Error: Debug + Display {
-  |                  ^^^^^ required by this bound in `Error`
+  = help: see issue #48214
+  = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+  = note: this error originates in the derive macro `Error` (in Nightly builds, run with -Z macro-backtrace for more info)
 help: consider annotating `U` with `#[derive(Debug)]`
   |
-4  + #[derive(Debug)]
-5  | pub union U {
-   |
+4 + #[derive(Debug)]
+5 | pub union U {
+  |