Struct rustc_mir_build::thir::pattern::PatTyProj

pub(crate) struct PatTyProj<'tcx> {
    pub(crate) user_ty: CanonicalUserType<'tcx>,
}

Fields

user_ty: CanonicalUserType<'tcx>

Implementations

impl<'tcx> PatTyProj<'tcx>

pub(crate) fn from_user_type(user_annotation: CanonicalUserType<'tcx>) -> Self

pub(crate) fn user_ty(
    self,
    annotations: &mut CanonicalUserTypeAnnotations<'tcx>,
    inferred_ty: Ty<'tcx>,
    span: Span
) -> UserTypeProjection

Trait Implementations

impl<'tcx> Clone for PatTyProj<'tcx>

pub fn clone(&self) -> PatTyProj<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for PatTyProj<'tcx>

impl<'tcx> Debug for PatTyProj<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq<PatTyProj<'tcx>> for PatTyProj<'tcx>

pub fn eq(&self, other: &PatTyProj<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &PatTyProj<'tcx>) -> bool

This method tests for !=.

impl<'tcx> PatternFoldable<'tcx> for PatTyProj<'tcx>

pub(crate) fn super_fold_with<F: PatternFolder<'tcx>>(&self, _: &mut F) -> Self

pub(crate) fn fold_with<F: PatternFolder<'tcx>>(&self, folder: &mut F) -> Self

impl<'tcx> StructuralPartialEq for PatTyProj<'tcx>