@@ -257,7 +257,12 @@ impl HirDisplay for ApplicationTy {
257
257
write ! ( f, ")" ) ?;
258
258
let ret = sig. ret ( ) ;
259
259
if * ret != Ty :: unit ( ) {
260
- write ! ( f, " -> {}" , ret. display( f. db) ) ?;
260
+ let ret_display = if f. omit_verbose_types ( ) {
261
+ ret. display_truncated ( f. db , f. max_size )
262
+ } else {
263
+ ret. display ( f. db )
264
+ } ;
265
+ write ! ( f, " -> {}" , ret_display) ?;
261
266
}
262
267
}
263
268
TypeCtor :: FnDef ( def) => {
@@ -288,7 +293,12 @@ impl HirDisplay for ApplicationTy {
288
293
write ! ( f, ")" ) ?;
289
294
let ret = sig. ret ( ) ;
290
295
if * ret != Ty :: unit ( ) {
291
- write ! ( f, " -> {}" , ret. display( f. db) ) ?;
296
+ let ret_display = if f. omit_verbose_types ( ) {
297
+ ret. display_truncated ( f. db , f. max_size )
298
+ } else {
299
+ ret. display ( f. db )
300
+ } ;
301
+ write ! ( f, " -> {}" , ret_display) ?;
292
302
}
293
303
}
294
304
TypeCtor :: Adt ( def_id) => {
@@ -397,7 +407,13 @@ impl HirDisplay for ApplicationTy {
397
407
f. write_joined ( sig. params ( ) , ", " ) ?;
398
408
write ! ( f, "|" ) ?;
399
409
} ;
400
- write ! ( f, " -> {}" , sig. ret( ) . display( f. db) ) ?;
410
+
411
+ let ret_display = if f. omit_verbose_types ( ) {
412
+ sig. ret ( ) . display_truncated ( f. db , f. max_size )
413
+ } else {
414
+ sig. ret ( ) . display ( f. db )
415
+ } ;
416
+ write ! ( f, " -> {}" , ret_display) ?;
401
417
} else {
402
418
write ! ( f, "{{closure}}" ) ?;
403
419
}
0 commit comments