`Report<E>` is not compatible with `std::error::Error` about hash HOT 2 CLOSED

Hi @Tohman21 and thanks for filing the issue.

TL;DR: This is blocked by the specialization feature.

I'd love to implement Error for Report but currently that's sadly not possible for a few reasons:

• (major) With an upcoming change we remove IntoReport, which implies impl<T, C: Context> ResultExt for Result<T, C>. Implementing Error for Report would imply a conflicting implementation. It's likely, that this can be solved with feature(specialization) enabled, but I have not tested this, yet. If this would be a breaking change this is fine as we want to adjust other parts of the API as soon as specialization is possible (e.g. merging attach and attach_printable).
• (major) If Error is implemented on Report it's expected that Error::source is behaving correctly. As error-stack supports multiple source errors, the mapping does not work correctly. We're planning some overhaul for this "related-errors" feature in the near future and I will definitely will keep this issue in mind.
• (probably the hardest issue to solve) It's easily possible to create Report<Report<E>>, which results in unexpected behavior, annoying errors, and hard-to-debug issues. It's simply not what people want to use. This cannot easily be solved without some kind of negative trait bounds which, AFAIK, is nothing that is immediately planned right now. Possibly it's possible to solve this via specialization, though.
• (minor) There is a conflicting implementation between the From conversion of Report<E> and Box<dyn Error> when Error is implemented for Report<E>, but if anything like this is going to be added, we'd probably implement Context for Report<E: 'static> instead to be more generic. This is probably not a big issue but another annoyance when dealing with the Error trait. Ultimately we probably going to remove the Context trait when core::error::Error is stabilized but that's not fully decided yet as Context is potentially more generic than Error semantically.

One other possible route would also be to not remove IntoReport, yet, but rather try to implement Error on Report earlier (I don't expect specialization to be stabilized soon), but we still need to figure out the other issues first. However, with IntoReport and Report<E>: Error creating Report<Report<E>> is very easy by calling Result<T, Report<E>>::into_report(). We even have a dedicated test case to forbid this:

it's possible that one of the listed issues is not really an issue or that I forgot something but it's definitely not easily possible now - and I'm very sad about this! We'd be very happy to hear more thoughts about this as well!

Happy to hear some thoughts from @indietyp as well.

from hash.

Thanks for quick answer. Yep, the problem is deeper than I thought

from hash.