@@ -53,19 +53,18 @@ pub(crate) fn print_body_hir(
5353 edition : Edition ,
5454) -> String {
5555 let header = match owner {
56- DefWithBodyId :: FunctionId ( it) => it
57- . lookup ( db)
58- . id
59- . resolved ( db, |it| format ! ( "fn {}" , it. name. display( db. upcast( ) , edition) ) ) ,
56+ DefWithBodyId :: FunctionId ( it) => {
57+ it. lookup ( db) . id . resolved ( db, |it| format ! ( "fn {}" , it. name. display( db, edition) ) )
58+ }
6059 DefWithBodyId :: StaticId ( it) => it
6160 . lookup ( db)
6261 . id
63- . resolved ( db, |it| format ! ( "static {} = " , it. name. display( db. upcast ( ) , edition) ) ) ,
62+ . resolved ( db, |it| format ! ( "static {} = " , it. name. display( db, edition) ) ) ,
6463 DefWithBodyId :: ConstId ( it) => it. lookup ( db) . id . resolved ( db, |it| {
6564 format ! (
6665 "const {} = " ,
6766 match & it. name {
68- Some ( name) => name. display( db. upcast ( ) , edition) . to_string( ) ,
67+ Some ( name) => name. display( db, edition) . to_string( ) ,
6968 None => "_" . to_owned( ) ,
7069 }
7170 )
@@ -75,8 +74,8 @@ pub(crate) fn print_body_hir(
7574 let enum_loc = loc. parent . lookup ( db) ;
7675 format ! (
7776 "enum {}::{}" ,
78- enum_loc. id. item_tree( db) [ enum_loc. id. value] . name. display( db. upcast ( ) , edition) ,
79- loc. id. item_tree( db) [ loc. id. value] . name. display( db. upcast ( ) , edition) ,
77+ enum_loc. id. item_tree( db) [ enum_loc. id. value] . name. display( db, edition) ,
78+ loc. id. item_tree( db) [ loc. id. value] . name. display( db, edition) ,
8079 )
8180 }
8281 } ;
@@ -162,7 +161,7 @@ pub(crate) fn print_struct(
162161 wln ! ( p, "#[fundamental]" ) ;
163162 }
164163 w ! ( p, "struct " ) ;
165- w ! ( p, "{}" , name. display( db. upcast ( ) , edition) ) ;
164+ w ! ( p, "{}" , name. display( db, edition) ) ;
166165 print_generic_params ( db, generic_params, & mut p) ;
167166 match shape {
168167 FieldsShape :: Record => wln ! ( p, " {{...}}" ) ,
@@ -219,7 +218,7 @@ pub(crate) fn print_function(
219218 w ! ( p, "extern \" {}\" " , abi. as_str( ) ) ;
220219 }
221220 w ! ( p, "fn " ) ;
222- w ! ( p, "{}" , name. display( db. upcast ( ) , edition) ) ;
221+ w ! ( p, "{}" , name. display( db, edition) ) ;
223222 print_generic_params ( db, generic_params, & mut p) ;
224223 w ! ( p, "(" ) ;
225224 for ( i, param) in params. iter ( ) . enumerate ( ) {
@@ -260,7 +259,7 @@ fn print_where_clauses(db: &dyn DefDatabase, generic_params: &GenericParams, p:
260259 }
261260 WherePredicateTypeTarget :: TypeOrConstParam ( idx) => {
262261 match generic_params[ * idx] . name ( ) {
263- Some ( name) => w ! ( p, "{}" , name. display( db. upcast ( ) , p. edition) ) ,
262+ Some ( name) => w ! ( p, "{}" , name. display( db, p. edition) ) ,
264263 None => w ! ( p, "Param[{}]" , idx. into_raw( ) ) ,
265264 }
266265 w ! ( p, ": " ) ;
@@ -278,7 +277,7 @@ fn print_where_clauses(db: &dyn DefDatabase, generic_params: &GenericParams, p:
278277 if i != 0 {
279278 w ! ( p, ", " ) ;
280279 }
281- w ! ( p, "{}" , lifetime. display( db. upcast ( ) , p. edition) ) ;
280+ w ! ( p, "{}" , lifetime. display( db, p. edition) ) ;
282281 }
283282 w ! ( p, "> " ) ;
284283 match target {
@@ -289,7 +288,7 @@ fn print_where_clauses(db: &dyn DefDatabase, generic_params: &GenericParams, p:
289288 }
290289 WherePredicateTypeTarget :: TypeOrConstParam ( idx) => {
291290 match generic_params[ * idx] . name ( ) {
292- Some ( name) => w ! ( p, "{}" , name. display( db. upcast ( ) , p. edition) ) ,
291+ Some ( name) => w ! ( p, "{}" , name. display( db, p. edition) ) ,
293292 None => w ! ( p, "Param[{}]" , idx. into_raw( ) ) ,
294293 }
295294 w ! ( p, ": " ) ;
@@ -313,15 +312,15 @@ fn print_generic_params(db: &dyn DefDatabase, generic_params: &GenericParams, p:
313312 w ! ( p, ", " ) ;
314313 }
315314 first = false ;
316- w ! ( p, "{}" , param. name. display( db. upcast ( ) , p. edition) ) ;
315+ w ! ( p, "{}" , param. name. display( db, p. edition) ) ;
317316 }
318317 for ( i, param) in generic_params. iter_type_or_consts ( ) {
319318 if !first {
320319 w ! ( p, ", " ) ;
321320 }
322321 first = false ;
323322 if let Some ( const_param) = param. const_param ( ) {
324- w ! ( p, "const {}: " , const_param. name. display( db. upcast ( ) , p. edition) ) ;
323+ w ! ( p, "const {}: " , const_param. name. display( db, p. edition) ) ;
325324 p. print_type_ref ( const_param. ty ) ;
326325 if let Some ( default) = const_param. default {
327326 w ! ( p, " = " ) ;
@@ -330,7 +329,7 @@ fn print_generic_params(db: &dyn DefDatabase, generic_params: &GenericParams, p:
330329 }
331330 if let Some ( type_param) = param. type_param ( ) {
332331 match & type_param. name {
333- Some ( name) => w ! ( p, "{}" , name. display( db. upcast ( ) , p. edition) ) ,
332+ Some ( name) => w ! ( p, "{}" , name. display( db, p. edition) ) ,
334333 None => w ! ( p, "Param[{}]" , i. into_raw( ) ) ,
335334 }
336335 if let Some ( default) = type_param. default {
@@ -476,7 +475,7 @@ impl Printer<'_> {
476475 offset_of
477476 . fields
478477 . iter( )
479- . format_with( "." , |field, f| f( & field. display( self . db. upcast ( ) , edition) ) )
478+ . format_with( "." , |field, f| f( & field. display( self . db, edition) ) )
480479 ) ;
481480 }
482481 Expr :: Path ( path) => self . print_path ( path) ,
@@ -498,7 +497,7 @@ impl Printer<'_> {
498497 }
499498 Expr :: Loop { body, label } => {
500499 if let Some ( lbl) = label {
501- w ! ( self , "{}: " , self . store[ * lbl] . name. display( self . db. upcast ( ) , self . edition) ) ;
500+ w ! ( self , "{}: " , self . store[ * lbl] . name. display( self . db, self . edition) ) ;
502501 }
503502 w ! ( self , "loop " ) ;
504503 self . print_expr ( * body) ;
@@ -518,7 +517,7 @@ impl Printer<'_> {
518517 }
519518 Expr :: MethodCall { receiver, method_name, args, generic_args } => {
520519 self . print_expr ( * receiver) ;
521- w ! ( self , ".{}" , method_name. display( self . db. upcast ( ) , self . edition) ) ;
520+ w ! ( self , ".{}" , method_name. display( self . db, self . edition) ) ;
522521 if let Some ( args) = generic_args {
523522 w ! ( self , "::<" ) ;
524523 self . print_generic_args ( args) ;
@@ -556,13 +555,13 @@ impl Printer<'_> {
556555 Expr :: Continue { label } => {
557556 w ! ( self , "continue" ) ;
558557 if let Some ( lbl) = label {
559- w ! ( self , " {}" , self . store[ * lbl] . name. display( self . db. upcast ( ) , self . edition) ) ;
558+ w ! ( self , " {}" , self . store[ * lbl] . name. display( self . db, self . edition) ) ;
560559 }
561560 }
562561 Expr :: Break { expr, label } => {
563562 w ! ( self , "break" ) ;
564563 if let Some ( lbl) = label {
565- w ! ( self , " {}" , self . store[ * lbl] . name. display( self . db. upcast ( ) , self . edition) ) ;
564+ w ! ( self , " {}" , self . store[ * lbl] . name. display( self . db, self . edition) ) ;
566565 }
567566 if let Some ( expr) = expr {
568567 self . whitespace ( ) ;
@@ -607,7 +606,7 @@ impl Printer<'_> {
607606 let edition = self . edition ;
608607 self . indented ( |p| {
609608 for field in & * * fields {
610- w ! ( p, "{}: " , field. name. display( self . db. upcast ( ) , edition) ) ;
609+ w ! ( p, "{}: " , field. name. display( self . db, edition) ) ;
611610 p. print_expr ( field. expr ) ;
612611 wln ! ( p, "," ) ;
613612 }
@@ -621,7 +620,7 @@ impl Printer<'_> {
621620 }
622621 Expr :: Field { expr, name } => {
623622 self . print_expr ( * expr) ;
624- w ! ( self , ".{}" , name. display( self . db. upcast ( ) , self . edition) ) ;
623+ w ! ( self , ".{}" , name. display( self . db, self . edition) ) ;
625624 }
626625 Expr :: Await { expr } => {
627626 self . print_expr ( * expr) ;
@@ -760,7 +759,7 @@ impl Printer<'_> {
760759 Expr :: Literal ( lit) => self . print_literal ( lit) ,
761760 Expr :: Block { id : _, statements, tail, label } => {
762761 let label = label. map ( |lbl| {
763- format ! ( "{}: " , self . store[ lbl] . name. display( self . db. upcast ( ) , self . edition) )
762+ format ! ( "{}: " , self . store[ lbl] . name. display( self . db, self . edition) )
764763 } ) ;
765764 self . print_block ( label. as_deref ( ) , statements, tail) ;
766765 }
@@ -846,7 +845,7 @@ impl Printer<'_> {
846845 let oneline = matches ! ( self . line_format, LineFormat :: Oneline ) ;
847846 self . indented ( |p| {
848847 for ( idx, arg) in args. iter ( ) . enumerate ( ) {
849- let field_name = arg. name . display ( self . db . upcast ( ) , edition) . to_string ( ) ;
848+ let field_name = arg. name . display ( self . db , edition) . to_string ( ) ;
850849
851850 let mut same_name = false ;
852851 if let Pat :: Bind { id, subpat : None } = & self . store [ arg. pat ] {
@@ -1019,7 +1018,7 @@ impl Printer<'_> {
10191018 BindingAnnotation :: Ref => "ref " ,
10201019 BindingAnnotation :: RefMut => "ref mut " ,
10211020 } ;
1022- w ! ( self , "{}{}" , mode, name. display( self . db. upcast ( ) , self . edition) ) ;
1021+ w ! ( self , "{}{}" , mode, name. display( self . db, self . edition) ) ;
10231022 }
10241023
10251024 fn print_path ( & mut self , path : & Path ) {
@@ -1030,7 +1029,7 @@ impl Printer<'_> {
10301029 let loc = $it. lookup( self . db) ;
10311030 let tree = loc. item_tree_id( ) . item_tree( self . db) ;
10321031 let name = & tree[ loc. id. value] . name;
1033- w!( self , "{}" , name. display( self . db. upcast ( ) , self . edition) ) ;
1032+ w!( self , "{}" , name. display( self . db, self . edition) ) ;
10341033 } } ;
10351034 }
10361035 match * it {
@@ -1046,7 +1045,7 @@ impl Printer<'_> {
10461045 }
10471046
10481047 if let Some ( s) = s {
1049- w ! ( self , "::{}" , s. display( self . db. upcast ( ) , self . edition) ) ;
1048+ w ! ( self , "::{}" , s. display( self . db, self . edition) ) ;
10501049 }
10511050 return w ! ( self , ")" ) ;
10521051 }
@@ -1088,7 +1087,7 @@ impl Printer<'_> {
10881087 w ! ( self , "::" ) ;
10891088 }
10901089
1091- w ! ( self , "{}" , segment. name. display( self . db. upcast ( ) , self . edition) ) ;
1090+ w ! ( self , "{}" , segment. name. display( self . db, self . edition) ) ;
10921091 if let Some ( generics) = segment. args_and_bindings {
10931092 w ! ( self , "::<" ) ;
10941093 self . print_generic_args ( generics) ;
@@ -1121,7 +1120,7 @@ impl Printer<'_> {
11211120 w ! ( self , ", " ) ;
11221121 }
11231122 first = false ;
1124- w ! ( self , "{}" , binding. name. display( self . db. upcast ( ) , self . edition) ) ;
1123+ w ! ( self , "{}" , binding. name. display( self . db, self . edition) ) ;
11251124 if !binding. bounds . is_empty ( ) {
11261125 w ! ( self , ": " ) ;
11271126 self . print_type_bounds ( & binding. bounds ) ;
@@ -1145,7 +1144,7 @@ impl Printer<'_> {
11451144 let generic_params = self . db . generic_params ( param. parent ( ) ) ;
11461145
11471146 match generic_params[ param. local_id ( ) ] . name ( ) {
1148- Some ( name) => w ! ( self , "{}" , name. display( self . db. upcast ( ) , self . edition) ) ,
1147+ Some ( name) => w ! ( self , "{}" , name. display( self . db, self . edition) ) ,
11491148 None => w ! ( self , "Param[{}]" , param. local_id( ) . into_raw( ) ) ,
11501149 }
11511150 }
@@ -1154,7 +1153,7 @@ impl Printer<'_> {
11541153 match lt_ref {
11551154 LifetimeRef :: Static => w ! ( self , "'static" ) ,
11561155 LifetimeRef :: Named ( lt) => {
1157- w ! ( self , "{}" , lt. display( self . db. upcast ( ) , self . edition) )
1156+ w ! ( self , "{}" , lt. display( self . db, self . edition) )
11581157 }
11591158 LifetimeRef :: Placeholder => w ! ( self , "'_" ) ,
11601159 LifetimeRef :: Error => w ! ( self , "'{{error}}" ) ,
@@ -1270,7 +1269,7 @@ impl Printer<'_> {
12701269 "for<{}> " ,
12711270 lifetimes
12721271 . iter( )
1273- . map( |it| it. display( self . db. upcast ( ) , self . edition) )
1272+ . map( |it| it. display( self . db, self . edition) )
12741273 . format( ", " )
12751274 . to_string( )
12761275 ) ;
@@ -1286,7 +1285,7 @@ impl Printer<'_> {
12861285 }
12871286 match arg {
12881287 UseArgRef :: Name ( it) => {
1289- w ! ( self , "{}" , it. display( self . db. upcast ( ) , self . edition) )
1288+ w ! ( self , "{}" , it. display( self . db, self . edition) )
12901289 }
12911290 UseArgRef :: Lifetime ( it) => self . print_lifetime_ref ( it) ,
12921291 }
0 commit comments