pub struct ResolvedMatchArm {
pub pattern: ResolvedPattern,
pub body: Box<Spanned<ResolvedExpr>>,
pub binding_slots: OnceLock<Vec<u16>>,
}Expand description
One arm of a match — mirror of crate::ast::MatchArm with
the pattern lifted to ResolvedPattern.
Fields§
§pattern: ResolvedPattern§body: Box<Spanned<ResolvedExpr>>§binding_slots: OnceLock<Vec<u16>>Per-arm slot table — same role as
crate::ast::MatchArm::binding_slots. Populated by the
resolver pass; backends read it instead of re-doing the
name → slot lookup.
Trait Implementations§
Source§impl Clone for ResolvedMatchArm
impl Clone for ResolvedMatchArm
Source§impl Debug for ResolvedMatchArm
impl Debug for ResolvedMatchArm
Auto Trait Implementations§
impl !Freeze for ResolvedMatchArm
impl RefUnwindSafe for ResolvedMatchArm
impl Send for ResolvedMatchArm
impl Sync for ResolvedMatchArm
impl Unpin for ResolvedMatchArm
impl UnsafeUnpin for ResolvedMatchArm
impl UnwindSafe for ResolvedMatchArm
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more