Searched defs:subpattern_user_ty (Results 1 – 1 of 1) sorted by relevance
794 let subpattern_user_ty = in visit_primary_bindings() localVariable801 let subpattern_user_ty = pattern_user_ty.clone().leaf(subpattern.field); in visit_primary_bindings() localVariable809 let subpattern_user_ty = in visit_primary_bindings() localVariable