628     type_sets: &'table mut UniqueTable<'entries, TypeSet>,  in get_constraint()
640             return format!("Free({})", type_sets.add(&type_var.get_raw_typeset()));  in get_constraint()
698 pub(crate) fn gen_typesets_table(type_sets: &UniqueTable<TypeSet>, fmt: &mut Formatter) {  in gen_typesets_table()
699     if type_sets.len() == 0 {  in gen_typesets_table()
704     assert!(type_sets.len() <= TYPESET_LIMIT, "Too many type sets!");  in gen_typesets_table()
708         type_sets.len()  in gen_typesets_table()
711         for ts in type_sets.iter() {  in gen_typesets_table()
733     let mut type_sets = UniqueTable::new();  in gen_type_constraints()  localVariable
755                 let index = type_sets.add(&*poly.ctrl_typevar.get_raw_typeset());  in gen_type_constraints()
765 …         constraints.push(get_constraint(&inst.operands_out[index], ctrl_typevar, &mut type_sets));  in gen_type_constraints()
768 …          constraints.push(get_constraint(&inst.operands_in[index], ctrl_typevar, &mut type_sets));  in gen_type_constraints()
829     gen_typesets_table(&type_sets, fmt);  in gen_type_constraints()