@@ -256,13 +256,9 @@ impl HirDisplay for ProjectionTy {
256
256
}
257
257
258
258
let trait_ = f. db . trait_data ( self . trait_ ( f. db ) ) ;
259
- let first_parameter = self . self_type_parameter ( & Interner ) . into_displayable (
260
- f. db ,
261
- f. max_size ,
262
- f. omit_verbose_types ,
263
- f. display_target ,
264
- ) ;
265
- write ! ( f, "<{} as {}" , first_parameter, trait_. name) ?;
259
+ write ! ( f, "<" ) ?;
260
+ self . self_type_parameter ( & Interner ) . hir_fmt ( f) ?;
261
+ write ! ( f, " as {}" , trait_. name) ?;
266
262
if self . substitution . len ( & Interner ) > 1 {
267
263
write ! ( f, "<" ) ?;
268
264
f. write_joined ( & self . substitution . interned ( ) [ 1 ..] , ", " ) ?;
@@ -341,9 +337,6 @@ impl HirDisplay for Ty {
341
337
write ! ( f, "]" ) ?;
342
338
}
343
339
TyKind :: Raw ( m, t) | TyKind :: Ref ( m, _, t) => {
344
- let ty_display =
345
- t. into_displayable ( f. db , f. max_size , f. omit_verbose_types , f. display_target ) ;
346
-
347
340
if matches ! ( self . kind( & Interner ) , TyKind :: Raw ( ..) ) {
348
341
write ! (
349
342
f,
@@ -398,16 +391,16 @@ impl HirDisplay for Ty {
398
391
if fn_traits ( f. db . upcast ( ) , trait_) . any ( |it| it == trait_)
399
392
&& predicates. len ( ) <= 2
400
393
{
401
- return write ! ( f , "{}" , ty_display ) ;
394
+ return t . hir_fmt ( f ) ;
402
395
}
403
396
}
404
397
405
398
if predicates. len ( ) > 1 {
406
399
write ! ( f, "(" ) ?;
407
- write ! ( f , "{}" , ty_display ) ?;
400
+ t . hir_fmt ( f ) ?;
408
401
write ! ( f, ")" ) ?;
409
402
} else {
410
- write ! ( f , "{}" , ty_display ) ?;
403
+ t . hir_fmt ( f ) ?;
411
404
}
412
405
}
413
406
TyKind :: Tuple ( _, substs) => {
@@ -454,14 +447,8 @@ impl HirDisplay for Ty {
454
447
write ! ( f, ")" ) ?;
455
448
let ret = sig. ret ( ) ;
456
449
if !ret. is_unit ( ) {
457
- let ret_display = ret. into_displayable (
458
- f. db ,
459
- f. max_size ,
460
- f. omit_verbose_types ,
461
- f. display_target ,
462
- ) ;
463
-
464
- write ! ( f, " -> {}" , ret_display) ?;
450
+ write ! ( f, " -> " ) ?;
451
+ ret. hir_fmt ( f) ?;
465
452
}
466
453
}
467
454
TyKind :: Adt ( AdtId ( def_id) , parameters) => {
@@ -603,13 +590,8 @@ impl HirDisplay for Ty {
603
590
write ! ( f, "|" ) ?;
604
591
} ;
605
592
606
- let ret_display = sig. ret ( ) . into_displayable (
607
- f. db ,
608
- f. max_size ,
609
- f. omit_verbose_types ,
610
- f. display_target ,
611
- ) ;
612
- write ! ( f, " -> {}" , ret_display) ?;
593
+ write ! ( f, " -> " ) ?;
594
+ sig. ret ( ) . hir_fmt ( f) ?;
613
595
} else {
614
596
write ! ( f, "{{closure}}" ) ?;
615
597
}
@@ -697,9 +679,8 @@ impl HirDisplay for CallableSig {
697
679
write ! ( f, ")" ) ?;
698
680
let ret = self . ret ( ) ;
699
681
if !ret. is_unit ( ) {
700
- let ret_display =
701
- ret. into_displayable ( f. db , f. max_size , f. omit_verbose_types , f. display_target ) ;
702
- write ! ( f, " -> {}" , ret_display) ?;
682
+ write ! ( f, " -> " ) ?;
683
+ ret. hir_fmt ( f) ?;
703
684
}
704
685
Ok ( ( ) )
705
686
}
0 commit comments