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

struct ConstToPat<'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<'tcx>,
    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<'tcx>

treat_byte_string_as_slice: bool

Implementations

impl<'tcx> ConstToPat<'tcx>

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

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

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

fn to_pat( &mut self, cv: Const<'tcx>, check_body_for_struct_match_violation: Option<DefId> ) -> Box<Pat<'tcx>>

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

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

fn recur( &self, cv: ValTree<'tcx>, ty: Ty<'tcx>, mir_structural_match_violation: bool ) -> Result<Box<Pat<'tcx>>, FallbackToOpaqueConst>

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