Searched refs:ctrl_typeset (Results 1 – 5 of 5) sorted by relevance
900 let (ctrl_typevar, ctrl_typeset) = if let Some(poly) = &inst.polymorphic_info { in gen_type_constraints()965 fmtln!(fmt, "typeset_offset: {},", ctrl_typeset); in gen_type_constraints()
806 pub fn ctrl_typeset(self) -> Option<ValueTypeSet> { in ctrl_typeset() method812 self.ctrl_typeset().is_some() in is_polymorphic()
2314 constraints.ctrl_typeset().unwrap().example(), in infer_typevar()2324 constraints.ctrl_typeset().unwrap().example(), in infer_typevar()2336 constraints.ctrl_typeset().unwrap().example() in infer_typevar()2348 if let Some(typeset) = constraints.ctrl_typeset() { in infer_typevar()
1269 let ctrl_type = if let Some(value_typeset) = constraints.ctrl_typeset() { in typecheck()
841 let ctrl_types = if let Some(ctrls) = constraints.ctrl_typeset() {