Struct rustc_pattern_analysis::rustc::RevealedTy

#[repr(transparent)]
pub struct RevealedTy<'tcx>(Ty<'tcx>);

A type which has gone through cx.reveal_opaque_ty, i.e. if it was opaque it was replaced by the hidden type if allowed in the current body. This ensures we consistently inspect the hidden types when we should.

Use .inner() or deref to get to the Ty<'tcx>.

Tuple Fields

0: Ty<'tcx>

Implementations

impl<'tcx> RevealedTy<'tcx>

pub fn inner(self) -> Ty<'tcx>

Trait Implementations

impl<'tcx> Clone for RevealedTy<'tcx>

fn clone(&self) -> RevealedTy<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for RevealedTy<'tcx>

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Deref for RevealedTy<'tcx>

type Target = Ty<'tcx>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'tcx> Copy for RevealedTy<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes