Searched refs:type_sets (Results 1 – 1 of 1) sorted by relevance
786 type_sets: &'table mut UniqueTable<'entries, TypeSet>, in get_constraint()798 return format!("Free({})", type_sets.add(type_var.get_raw_typeset())); in get_constraint()847 pub(crate) fn gen_typesets_table(type_sets: &UniqueTable<TypeSet>, fmt: &mut Formatter) { in gen_typesets_table()848 if type_sets.len() == 0 { in gen_typesets_table()853 assert!(type_sets.len() <= TYPESET_LIMIT, "Too many type sets!"); in gen_typesets_table()857 type_sets.len() in gen_typesets_table()860 for ts in type_sets.iter() { in gen_typesets_table()880 let mut type_sets = UniqueTable::new(); in gen_type_constraints() localVariable901 let index = type_sets.add(poly.ctrl_typevar.get_raw_typeset()); in gen_type_constraints()914 … constraints.push(get_constraint(&inst.operands_in[index], ctrl_typevar, &mut type_sets)); in gen_type_constraints()[all …]