Struct rustc_mir_build::thir::pattern::PatCtxt

source ·
struct PatCtxt<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    typeck_results: &'a TypeckResults<'tcx>,
    rust_2024_migration_suggestion: Option<Rust2024IncompatiblePatSugg>,
}

Fields§

§tcx: TyCtxt<'tcx>§param_env: ParamEnv<'tcx>§typeck_results: &'a TypeckResults<'tcx>§rust_2024_migration_suggestion: Option<Rust2024IncompatiblePatSugg>

Used by the Rust 2024 migration lint.

Implementations§

source§

impl<'a, 'tcx> PatCtxt<'a, 'tcx>

source

pub(super) fn const_to_pat( &self, c: Const<'tcx>, ty: Ty<'tcx>, id: HirId, span: Span, ) -> Box<Pat<'tcx>>

Converts a constant to a pattern (if possible). This means aggregate values (like structs and enums) are converted to a pattern that matches the value (as if you’d compared via structural equality).

Only type system constants are supported, as we are using valtrees as an intermediate step. Unfortunately those don’t carry a type so we have to carry one ourselves.

source§

impl<'a, 'tcx> PatCtxt<'a, 'tcx>

source

fn lower_pattern(&mut self, pat: &'tcx Pat<'tcx>) -> Box<Pat<'tcx>>

source

fn lower_pattern_range_endpoint( &mut self, expr: Option<&'tcx Expr<'tcx>>, ) -> Result<(Option<PatRangeBoundary<'tcx>>, Option<Ascription<'tcx>>, Option<LocalDefId>), ErrorGuaranteed>

source

fn error_on_literal_overflow( &self, expr: Option<&'tcx Expr<'tcx>>, ty: Ty<'tcx>, ) -> Result<(), ErrorGuaranteed>

Overflowing literals are linted against in a late pass. This is mostly fine, except when we encounter a range pattern like -130i8..2: if we believe eval_bits, this looks like a range where the endpoints are in the wrong order. To avoid a confusing error message, we check for overflow then. This is only called when the range is already known to be malformed.

source

fn lower_pattern_range( &mut self, lo_expr: Option<&'tcx Expr<'tcx>>, hi_expr: Option<&'tcx Expr<'tcx>>, end: RangeEnd, ty: Ty<'tcx>, span: Span, ) -> Result<PatKind<'tcx>, ErrorGuaranteed>

source

fn lower_pattern_unadjusted(&mut self, pat: &'tcx Pat<'tcx>) -> Box<Pat<'tcx>>

source

fn lower_tuple_subpats( &mut self, pats: &'tcx [Pat<'tcx>], expected_len: usize, gap_pos: DotDotPos, ) -> Vec<FieldPat<'tcx>>

source

fn lower_patterns(&mut self, pats: &'tcx [Pat<'tcx>]) -> Box<[Box<Pat<'tcx>>]>

source

fn lower_opt_pattern( &mut self, pat: Option<&'tcx Pat<'tcx>>, ) -> Option<Box<Pat<'tcx>>>

source

fn slice_or_array_pattern( &mut self, span: Span, ty: Ty<'tcx>, prefix: &'tcx [Pat<'tcx>], slice: Option<&'tcx Pat<'tcx>>, suffix: &'tcx [Pat<'tcx>], ) -> PatKind<'tcx>

source

fn lower_variant_or_leaf( &mut self, res: Res, hir_id: HirId, span: Span, ty: Ty<'tcx>, subpatterns: Vec<FieldPat<'tcx>>, ) -> PatKind<'tcx>

source

fn lower_path( &mut self, qpath: &QPath<'_>, id: HirId, span: Span, ) -> Box<Pat<'tcx>>

Takes a HIR Path. If the path is a constant, evaluates it and feeds it to const_to_pat. Any other path (like enum variants without fields) is converted to the corresponding pattern via lower_variant_or_leaf.

source

fn lower_inline_const( &mut self, block: &'tcx ConstBlock, id: HirId, span: Span, ) -> PatKind<'tcx>

Converts inline const patterns.

source

fn lower_lit(&mut self, expr: &'tcx Expr<'tcx>) -> PatKind<'tcx>

Converts literals, paths and negation of literals to patterns. The special case for negation exists to allow things like -128_i8 which would overflow if we tried to evaluate 128_i8 and then negate afterwards.

Trait Implementations§

source§

impl<'tcx> UserAnnotatedTyHelpers<'tcx> for PatCtxt<'_, 'tcx>

source§

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

source§

fn typeck_results(&self) -> &TypeckResults<'tcx>

source§

fn user_args_applied_to_ty_of_hir_id( &self, hir_id: HirId, ) -> Option<CanonicalUserType<'tcx>>

Looks up the type associated with this hir-id and applies the user-given generic parameters; the hir-id must map to a suitable type.

Auto Trait Implementations§

§

impl<'a, 'tcx> Freeze for PatCtxt<'a, 'tcx>

§

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

§

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

§

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

§

impl<'a, 'tcx> Unpin for PatCtxt<'a, 'tcx>

§

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

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

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

source§

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

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T

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