T: HirDisplay,
{
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
- println!("formatting..");
match self.t.hir_fmt(&mut HirFormatter {
db: self.db,
fmt: f,
return write!(f, "{}", TYPE_HINT_TRUNCATION);
}
- let interner_kind = self.kind(Interner);
- println!("interner kind: {interner_kind:?}");
-
match self.kind(Interner) {
TyKind::Never => write!(f, "!")?,
TyKind::Str => write!(f, "str")?,
write!(f, "]")?;
}
TypeRef::Fn(parameters, is_varargs) => {
+ // FIXME: Function pointer qualifiers.
write!(f, "fn(")?;
- for index in 0..parameters.len() - 1 {
- let (param_name,param_type) = ¶meters[index];
- match param_name {
- Some(name) => {
+ if let Some(((_, return_type), function_parameters)) = parameters.split_last() {
+ for index in 0..function_parameters.len() {
+ let (param_name, param_type) = &function_parameters[index];
+ if let Some(name) = param_name {
write!(f, "{}: ", name)?;
- param_type.hir_fmt(f)?;
- },
- None => write!(f, " : {:?}", param_type)?,
- };
+ }
- if index != parameters.len() - 2 {
- write!(f, ", ")?;
+ param_type.hir_fmt(f)?;
+
+ if index != function_parameters.len() - 1 {
+ write!(f, ", ")?;
+ }
}
- }
- if *is_varargs {
- write!(f, "{}...", if parameters.len() == 1 { "" } else { ", " })?;
- }
- write!(f, ")")?;
- let ret_ty = ¶meters.last().unwrap().1;
- match ret_ty {
- TypeRef::Tuple(tup) if tup.is_empty() => {}
- _ => {
- write!(f, " -> ")?;
- ret_ty.hir_fmt(f)?;
+ if *is_varargs {
+ write!(f, "{}...", if parameters.len() == 1 { "" } else { ", " })?;
+ }
+ write!(f, ")")?;
+ match &return_type {
+ TypeRef::Tuple(tup) if tup.is_empty() => {}
+ _ => {
+ write!(f, " -> ")?;
+ return_type.hir_fmt(f)?;
+ }
}
}
}