Searched refs:BindPattern (Results 1 – 7 of 7) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 318 BindPattern { enumerator
365 Pattern::BindPattern { subpat, .. } => { in terms()
380 &Pattern::BindPattern { in make_macro_template()
392 &Pattern::BindPattern { in make_macro_template()
396 } => Pattern::BindPattern { in make_macro_template()
442 &Pattern::BindPattern { in subst_macro_args()
446 } => Some(Pattern::BindPattern { in subst_macro_args()
490 | &Pattern::BindPattern { pos, .. } in pos()
|
| H A D | sema.rs | 702 BindPattern(TypeId, VarId, Box<Pattern>), enumerator
798 Self::BindPattern(t, ..) => t, in ty()
818 Pattern::BindPattern(_ty, var, ref subpat) => { in visit()
2147 &ast::Pattern::BindPattern { in translate_pattern()
2169 Some(Pattern::BindPattern(ty, id, Box::new(subpat))) in translate_pattern()
2181 Some(Pattern::BindPattern( in translate_pattern()
|
| H A D | printer.rs | 561 Pattern::BindPattern { in to_sexpr()
|
| H A D | parser.rs | 850 Ok(Pattern::BindPattern { var, subpat, pos }) in parse_pattern()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | termname.rs | 13 Pattern::BindPattern(..) in pattern_contains_termname()
|
| H A D | type_inference.rs | 45 BindPattern, enumerator
1432 TypeVarConstruct::BindPattern => { in add_rule_constraints()
2086 isle::sema::Pattern::BindPattern(_, var_id, subpat) => { in create_parse_tree_pattern()
2128 construct: TypeVarConstruct::BindPattern, in create_parse_tree_pattern()
|
| H A D | solver.rs | 1339 isle::sema::Pattern::BindPattern(_, var_id, subpat) => { in display_isle_pattern()
|