| #![allow(missing_debug_implementations, missing_docs)] | |
| // Tagged dispatch mechanism for resolving the behavior of `miette!($expr)`. | |
| // | |
| // When miette! is given a single expr argument to turn into miette::Report, we | |
| // want the resulting Report to pick up the input's implementation of source() | |
| // and backtrace() if it has a std::error::Error impl, otherwise require nothing | |
| // more than Display and Debug. | |
| // | |
| // Expressed in terms of specialization, we want something like: | |
| // | |
| // trait EyreNew { | |
| // fn new(self) -> Report; | |
| // } | |
| // | |
| // impl<T> EyreNew for T | |
| // where | |
| // T: Display + Debug + Send + Sync + 'static, | |
| // { | |
| // default fn new(self) -> Report { | |
| // /* no std error impl */ | |
| // } | |
| // } | |
| // | |
| // impl<T> EyreNew for T | |
| // where | |
| // T: std::error::Error + Send + Sync + 'static, | |
| // { | |
| // fn new(self) -> Report { | |
| // /* use std error's source() and backtrace() */ | |
| // } | |
| // } | |
| // | |
| // Since specialization is not stable yet, instead we rely on autoref behavior | |
| // of method resolution to perform tagged dispatch. Here we have two traits | |
| // AdhocKind and TraitKind that both have an miette_kind() method. AdhocKind is | |
| // implemented whether or not the caller's type has a std error impl, while | |
| // TraitKind is implemented only when a std error impl does exist. The ambiguity | |
| // is resolved by AdhocKind requiring an extra autoref so that it has lower | |
| // precedence. | |
| // | |
| // The miette! macro will set up the call in this form: | |
| // | |
| // #[allow(unused_imports)] | |
| // use $crate::private::{AdhocKind, TraitKind}; | |
| // let error = $msg; | |
| // (&error).miette_kind().new(error) | |
| use super::Report; | |
| use core::fmt::{Debug, Display}; | |
| use crate::Diagnostic; | |
| pub struct Adhoc; | |
| pub trait AdhocKind: Sized { | |
| #[inline] | |
| fn miette_kind(&self) -> Adhoc { | |
| Adhoc | |
| } | |
| } | |
| impl<T> AdhocKind for &T where T: ?Sized + Display + Debug + Send + Sync + 'static {} | |
| impl Adhoc { | |
| #[cfg_attr(track_caller, track_caller)] | |
| pub fn new<M>(self, message: M) -> Report | |
| where | |
| M: Display + Debug + Send + Sync + 'static, | |
| { | |
| Report::from_adhoc(message) | |
| } | |
| } | |
| pub struct Trait; | |
| pub trait TraitKind: Sized { | |
| #[inline] | |
| fn miette_kind(&self) -> Trait { | |
| Trait | |
| } | |
| } | |
| impl<E> TraitKind for E where E: Into<Report> {} | |
| impl Trait { | |
| #[cfg_attr(track_caller, track_caller)] | |
| pub fn new<E>(self, error: E) -> Report | |
| where | |
| E: Into<Report>, | |
| { | |
| error.into() | |
| } | |
| } | |
| pub struct Boxed; | |
| pub trait BoxedKind: Sized { | |
| #[inline] | |
| fn miette_kind(&self) -> Boxed { | |
| Boxed | |
| } | |
| } | |
| impl BoxedKind for Box<dyn Diagnostic + Send + Sync> {} | |
| impl Boxed { | |
| #[cfg_attr(track_caller, track_caller)] | |
| pub fn new(self, error: Box<dyn Diagnostic + Send + Sync>) -> Report { | |
| Report::from_boxed(error) | |
| } | |
| } |