Searched defs:ty_var (Results 1 – 8 of 8) sorted by relevance
25 let ty_var = self.next_ty_var(TypeVariableOrigin { in infer_projection() localVariable
527 let ty_var = infcx.next_ty_var(TypeVariableOrigin { in fold_opaque_ty() localVariable
1009 let ty_var = s.assert_ty_ref(interner).clone(); in match_ty() localVariable
1058 let ty_var = build_as_type !env q in var
678 let ty_var = self.table.new_variable(universe_index); in generalize_ty() localVariable