@@ -168,7 +168,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
168168 . map ( |( idx, ty) | {
169169 let param = self . fn_value . get_nth_param ( idx as u32 ) . unwrap ( ) ;
170170 if let Some ( s) = ty. as_struct ( ) {
171- if s. data ( self . db . upcast ( ) ) . memory_kind == abi:: StructMemoryKind :: Value {
171+ if s. data ( self . db ) . memory_kind == abi:: StructMemoryKind :: Value {
172172 deref_heap_value ( & self . builder , param)
173173 } else {
174174 param
@@ -199,9 +199,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
199199 self . builder . build_return ( None ) ;
200200 } else if let Some ( value) = ret_value {
201201 let ret_value = if let Some ( hir_struct) = fn_ret_type. as_struct ( ) {
202- if hir_struct. data ( self . db . upcast ( ) ) . memory_kind
203- == mun_hir:: StructMemoryKind :: Value
204- {
202+ if hir_struct. data ( self . db ) . memory_kind == mun_hir:: StructMemoryKind :: Value {
205203 self . gen_struct_alloc_on_heap ( hir_struct, value. into_struct_value ( ) )
206204 } else {
207205 value
@@ -224,8 +222,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
224222 tail,
225223 } => self . gen_block ( expr, statements, * tail) ,
226224 Expr :: Path ( ref p) => {
227- let resolver =
228- mun_hir:: resolver_for_expr ( self . db . upcast ( ) , self . body . owner ( ) , expr) ;
225+ let resolver = mun_hir:: resolver_for_expr ( self . db , self . body . owner ( ) , expr) ;
229226 Some ( self . gen_path_expr ( p, expr, & resolver) )
230227 }
231228 Expr :: Literal ( lit) => Some ( self . gen_literal ( lit, expr) ) ,
@@ -372,7 +369,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
372369 }
373370 let struct_lit = value. into_struct_value ( ) ;
374371
375- match hir_struct. data ( self . db . upcast ( ) ) . memory_kind {
372+ match hir_struct. data ( self . db ) . memory_kind {
376373 mun_hir:: StructMemoryKind :: Value => struct_lit. into ( ) ,
377374 mun_hir:: StructMemoryKind :: Gc => {
378375 // TODO: Root memory in GC
@@ -573,7 +570,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
573570 resolver : & Resolver ,
574571 ) -> inkwell:: values:: BasicValueEnum < ' ink > {
575572 match resolver
576- . resolve_path_as_value_fully ( self . db . upcast ( ) , path)
573+ . resolve_path_as_value_fully ( self . db , path)
577574 . expect ( "unknown path" )
578575 . 0
579576 {
@@ -603,7 +600,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
603600 ) -> BasicValueEnum < ' ink > {
604601 let ty = & self . infer [ expr] ;
605602 if let Some ( s) = ty. as_struct ( ) {
606- if s. data ( self . db . upcast ( ) ) . memory_kind == mun_hir:: StructMemoryKind :: Gc {
603+ if s. data ( self . db ) . memory_kind == mun_hir:: StructMemoryKind :: Gc {
607604 return deref_heap_value ( & self . builder , value) ;
608605 }
609606 }
@@ -618,7 +615,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
618615 resolver : & Resolver ,
619616 ) -> inkwell:: values:: PointerValue < ' ink > {
620617 match resolver
621- . resolve_path_as_value_fully ( self . db . upcast ( ) , path)
618+ . resolve_path_as_value_fully ( self . db , path)
622619 . expect ( "unknown path" )
623620 . 0
624621 {
@@ -647,7 +644,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
647644 TyKind :: Float ( _) => self . gen_binary_op_float ( lhs, rhs, op) ,
648645 TyKind :: Int ( ty) => self . gen_binary_op_int ( lhs, rhs, op, ty. signedness ) ,
649646 TyKind :: Struct ( s) => {
650- if s. data ( self . db . upcast ( ) ) . memory_kind == mun_hir:: StructMemoryKind :: Value {
647+ if s. data ( self . db ) . memory_kind == mun_hir:: StructMemoryKind :: Value {
651648 self . gen_binary_op_value_struct ( lhs, rhs, op)
652649 } else {
653650 self . gen_binary_op_heap_struct ( lhs, rhs, op)
@@ -1064,8 +1061,7 @@ impl<'db, 'ink, 't> BodyIrGenerator<'db, 'ink, 't> {
10641061 let body = self . body . clone ( ) ;
10651062 match & body[ expr] {
10661063 Expr :: Path ( ref p) => {
1067- let resolver =
1068- mun_hir:: resolver_for_expr ( self . db . upcast ( ) , self . body . owner ( ) , expr) ;
1064+ let resolver = mun_hir:: resolver_for_expr ( self . db , self . body . owner ( ) , expr) ;
10691065 Some ( self . gen_path_place_expr ( p, expr, & resolver) )
10701066 }
10711067 Expr :: Field {
0 commit comments