Searched refs:translate_with_map (Results 1 – 7 of 7) sorted by relevance
43 fn translate_with_map( in translate_with_map() method601 type_env.add_constraint(constraint.translate_with_map(&original_to_own_typevar)); in infer_definition()
43 fn translate_with_map( in translate_with_map() method598 type_env.add_constraint(constraint.translate_with_map(&original_to_own_typevar)); in infer_definition()
43 fn translate_with_map( in translate_with_map() method602 type_env.add_constraint(constraint.translate_with_map(&original_to_own_typevar)); in infer_definition()