Searched refs:PatternId (Results 1 – 2 of 2) sorted by relevance
759 type PatternId: Copy; typedef762 fn add_match_equal(&mut self, a: Self::PatternId, b: Self::PatternId, ty: TypeId); in add_match_equal() argument774 input: Self::PatternId, in add_match_variant() argument778 ) -> Vec<Self::PatternId>; in add_match_variant() argument785 input: Self::PatternId, in add_extract() argument791 ) -> Vec<Self::PatternId>; in add_extract() argument813 input: V::PatternId, in visit() argument815 vars: &mut HashMap<VarId, V::PatternId>, in visit() argument1038 ) -> <Self::PatternVisitor as PatternVisitor>::PatternId; in add_arg() argument1057 ) -> <Self::PatternVisitor as PatternVisitor>::PatternId; in expr_as_pattern() argument[all …]
536 type PatternId = BindingId; typedef