Struct PatCtxt 

pub(crate) struct PatCtxt<'a, 'db> {
    db: &'db dyn HirDatabase,
    infer: &'db InferenceResult<'db>,
    body: &'a Body,
    pub(crate) errors: Vec<PatternError>,
}

Fields

db: &'db dyn HirDatabase

infer: &'db InferenceResult<'db>

body: &'a Body

errors: Vec<PatternError>

Implementations

impl<'a, 'db> PatCtxt<'a, 'db>

pub(crate) fn new( db: &'db dyn HirDatabase, infer: &'db InferenceResult<'db>, body: &'a Body, ) -> Self

pub(crate) fn lower_pattern(&mut self, pat: PatId) -> Pat<'db>

fn lower_pattern_unadjusted(&mut self, pat: PatId) -> Pat<'db>

fn lower_tuple_subpats( &mut self, pats: &[PatId], expected_len: usize, ellipsis: Option<u32>, ) -> Vec<FieldPat<'db>>

fn lower_patterns(&mut self, pats: &[PatId]) -> Vec<Pat<'db>>

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

fn lower_variant_or_leaf( &mut self, pat: PatId, ty: Ty<'db>, subpatterns: Vec<FieldPat<'db>>, ) -> PatKind<'db>

fn lower_path(&mut self, pat: PatId, _path: &Path) -> Pat<'db>

fn lower_lit(&mut self, expr: ExprId) -> PatKind<'db>