Struct rustc_mir_build::thir::pattern::usefulness::MatchCheckCtxt

pub(crate) struct MatchCheckCtxt<'p, 'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) module: DefId,
    pub(crate) param_env: ParamEnv<'tcx>,
    pub(crate) pattern_arena: &'p TypedArena<DeconstructedPat<'p, 'tcx>>,
    pub(crate) refutable: bool,
}

Fields

tcx: TyCtxt<'tcx>

module: DefId

The module in which the match occurs. This is necessary for checking inhabited-ness of types because whether a type is (visibly) inhabited can depend on whether it was defined in the current module or not. E.g., struct Foo { _private: ! } cannot be seen to be empty outside its module and should not be matchable with an empty match statement.

param_env: ParamEnv<'tcx>

pattern_arena: &'p TypedArena<DeconstructedPat<'p, 'tcx>>

refutable: bool

Only produce NON_EXHAUSTIVE_OMITTED_PATTERNS lint on refutable patterns.

Implementations

impl<'a, 'tcx> MatchCheckCtxt<'a, 'tcx>

pub(super) fn is_uninhabited(&self, ty: Ty<'tcx>) -> bool

pub(super) fn is_foreign_non_exhaustive_enum(&self, ty: Ty<'tcx>) -> bool

Returns whether the given type is an enum from another crate declared #[non_exhaustive].

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