[−][src]Struct rustc_mir_build::thir::pattern::const_to_pat::ConstToPat

pub(in thir::pattern::const_to_pat) struct ConstToPat<'a, 'tcx> {
    id: HirId,
    span: Span,
    param_env: ParamEnv<'tcx>,
    saw_const_match_error: Cell<bool>,
    saw_const_match_lint: Cell<bool>,
    behind_reference: Cell<bool>,
    infcx: InferCtxt<'a, 'tcx>,
    include_lint_checks: bool,
    treat_byte_string_as_slice: bool,
}

Fields

id: HirIdspan: Spanparam_env: ParamEnv<'tcx>saw_const_match_error: Cell<bool>saw_const_match_lint: Cell<bool>behind_reference: Cell<bool>infcx: InferCtxt<'a, 'tcx>include_lint_checks: booltreat_byte_string_as_slice: bool

Implementations

impl<'a, 'tcx> ConstToPat<'a, 'tcx>[src]

pub(in thir::pattern::const_to_pat) fn new(
    pat_ctxt: &PatCtxt<'_, 'tcx>,
    id: HirId,
    span: Span,
    infcx: InferCtxt<'a, 'tcx>
) -> Self[src]

pub(in thir::pattern::const_to_pat) fn tcx(
    &self
) -> TyCtxt<'tcx>[src]

pub(in thir::pattern::const_to_pat) fn adt_derive_msg(
    &self,
    adt_def: &AdtDef
) -> String[src]

pub(in thir::pattern::const_to_pat) fn search_for_structural_match_violation(
    &self,
    ty: Ty<'tcx>
) -> Option<String>[src]

pub(in thir::pattern::const_to_pat) fn type_marked_structural(
    &self,
    ty: Ty<'tcx>
) -> bool[src]

pub(in thir::pattern::const_to_pat) fn to_pat(
    &mut self,
    cv: &'tcx Const<'tcx>,
    mir_structural_match_violation: bool
) -> Pat<'tcx>[src]

pub(in thir::pattern::const_to_pat) fn type_may_have_partial_eq_impl(
    &self,
    ty: Ty<'tcx>
) -> bool[src]

pub(in thir::pattern::const_to_pat) fn recur(
    &self,
    cv: &'tcx Const<'tcx>,
    mir_structural_match_violation: bool
) -> Result<Pat<'tcx>, FallbackToConstRef>[src]

Auto Trait Implementations

impl<'a, 'tcx> !RefUnwindSafe for ConstToPat<'a, 'tcx>

impl<'a, 'tcx> !Send for ConstToPat<'a, 'tcx>

impl<'a, 'tcx> !Sync for ConstToPat<'a, 'tcx>

impl<'a, 'tcx> Unpin for ConstToPat<'a, 'tcx> where
    'tcx: 'a, 

impl<'a, 'tcx> !UnwindSafe for ConstToPat<'a, 'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.