Searched refs:subpat_node (Results 1 – 2 of 2) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | type_inference.rs | 2113 let subpat_node = in create_parse_tree_pattern() localVariable
2120 .insert(TypeExpr::Variable(type_var, subpat_node.type_var)); in create_parse_tree_pattern()
2124 .insert(TypeExpr::Variable(bind_type_var, subpat_node.type_var)); in create_parse_tree_pattern()
2130 children: vec![var_node, subpat_node], in create_parse_tree_pattern()
2331 let subpat_node = create_parse_tree_expr(rule, expr, tree, typeenv, termenv); in create_parse_tree_expr() localVariable
2337 .insert(TypeExpr::Variable(ty_var, subpat_node.type_var)); in create_parse_tree_expr()
2340 children.push(subpat_node); in create_parse_tree_expr()
|
| H A D | solver.rs | 1343 let subpat_node = to_sexpr(subpat); in display_isle_pattern() localVariable
1352 .list(vec![self.smt.atom(var), self.smt.atom("@"), subpat_node]) in display_isle_pattern()
|