Re-exportsΒ§
use std::sync::Arc;πuse rustc_abi::FieldIdx;πuse rustc_middle::mir::Pinnedness;πuse rustc_middle::mir::Place;πuse rustc_middle::mir::PlaceElem;πuse rustc_middle::mir::ProjectionElem;πuse rustc_middle::thir::Ascription;πuse rustc_middle::thir::DerefPatBorrowMode;πuse rustc_middle::thir::FieldPat;πuse rustc_middle::thir::Pat;πuse rustc_middle::thir::PatKind;πuse rustc_middle::ty;πuse rustc_middle::ty::Ty;πuse rustc_middle::ty::TypeVisitableExt;πuse rustc_span::Span;πuse rustc_span::span_bug;πuse crate::builder::Builder;πuse crate::builder::expr::as_place::PlaceBase;πuse crate::builder::expr::as_place::PlaceBuilder;πuse crate::builder::matches::FlatPat;πuse crate::builder::matches::MatchPairKind;πuse crate::builder::matches::MatchPairTree;πuse crate::builder::matches::PatConstKind;πuse crate::builder::matches::PatternExtraData;πuse crate::builder::matches::SliceLenOp;πuse crate::builder::matches::TestableCase;π
StructsΒ§
- Inter
Pat π - βIntermediate patternβ, a partly-lowered THIR
Patthat has not yet been squashed into a forest of refutableMatchPairTreenodes.
EnumsΒ§
- Inter
PatKind π
FunctionsΒ§
- prefix_
slice_ πsuffix - For an array or slice patternβs subpatterns (prefix/slice/suffix), returns a list
of those subpatterns, each paired with a suitably-projected
PlaceBuilder. - squash_
inter_ πpat - Recursively squashes an
InterPatinto a forest of refutableMatchPairTreenodes, while accumulating ascriptions and bindings.