Searched refs:singleton_type (Results 1 – 3 of 3) sorted by relevance
386 || tv.singleton_type().is_some() in verify_polymorphic()
123 pub fn singleton_type(&self) -> Option<ValueType> { in singleton_type() method137 match self.singleton_type() { in free_typevar()
791 if let Some(typ) = type_var.singleton_type() { in get_constraint()