Struct DiagnosticDisplay
pub struct DiagnosticDisplay<T>(pub T);unstable-wgpu-26 only.Expand description
A wrapper for displaying Naga IR terms in diagnostic output.
For some Naga IR type T, DiagnosticDisplay<T> implements
core::fmt::Display in a way that displays values of type T
appropriately for diagnostic messages presented to human readers.
For example, the implementation of Display for
DiagnosticDisplay<Scalar> formats the type represented by the
given Scalar appropriately for users.
Some types like Handle<Type> require contextual information like
a type arena to be displayed. In such cases, we implement Display
for a type like DiagnosticDisplay<(Handle<Type>, GlobalCtx)>, where
the GlobalCtx type provides the necessary context.
Do not implement this type for TypeInner, as that does not
have enough information to display struct types correctly.
If you only need debugging output, DiagnosticDebug uses
easier-to-obtain context types but still does a good enough job
for logging or debugging.
§Language-sensitive diagnostics
Diagnostic output ought to depend on the source language from
which the IR was produced: diagnostics resulting from processing
GLSL code should use GLSL type syntax, for example. That means
that DiagnosticDisplay ought to include some indication of which
notation to use.
For the moment, only WGSL output is implemented, so
DiagnosticDisplay lacks any support for this (#7268). However,
the plan is that all language-independent code in Naga should use
DiagnosticDisplay wherever appropriate, such that when its
definition is expanded to include some indication of the right
source language to use, any use site that does not supply this
indication will provoke a compile-time error.
Tuple Fields§
§0: TTrait Implementations§
§impl Display for DiagnosticDisplay<(&TypeResolution, GlobalCtx<'_>)>
impl Display for DiagnosticDisplay<(&TypeResolution, GlobalCtx<'_>)>
Auto Trait Implementations§
impl<T> Freeze for DiagnosticDisplay<T>where
T: Freeze,
impl<T> RefUnwindSafe for DiagnosticDisplay<T>where
T: RefUnwindSafe,
impl<T> Send for DiagnosticDisplay<T>where
T: Send,
impl<T> Sync for DiagnosticDisplay<T>where
T: Sync,
impl<T> Unpin for DiagnosticDisplay<T>where
T: Unpin,
impl<T> UnwindSafe for DiagnosticDisplay<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.SharedString.