Struct rustc_mir_build::thir::pattern::const_to_pat::ConstToPat

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: 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

Implementations

impl<'a, 'tcx> ConstToPat<'a, 'tcx>

fn new(
    pat_ctxt: &PatCtxt<'_, 'tcx>,
    id: HirId,
    span: Span,
    infcx: InferCtxt<'a, 'tcx>
) -> Self

fn tcx(&self) -> TyCtxt<'tcx>

fn adt_derive_msg(&self, adt_def: AdtDef<'tcx>) -> String

fn search_for_structural_match_violation(&self, ty: Ty<'tcx>) -> Option<String>

fn type_marked_structural(&self, ty: Ty<'tcx>) -> bool

fn to_pat(
    &mut self,
    cv: ConstantKind<'tcx>,
    mir_structural_match_violation: bool
) -> Box<Pat<'tcx>>

fn type_may_have_partial_eq_impl(&self, ty: Ty<'tcx>) -> bool

fn field_pats(
    &self,
    vals: impl Iterator<Item = ConstantKind<'tcx>>
) -> Result<Vec<FieldPat<'tcx>>, FallbackToConstRef>

fn recur(
    &self,
    cv: ConstantKind<'tcx>,
    mir_structural_match_violation: bool
) -> Result<Box<Pat<'tcx>>, FallbackToConstRef>

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: 768 bytes