@@ -1421,8 +1421,13 @@ pub(crate) fn value_ty_query(db: &dyn HirDatabase, def: ValueTyDefId) -> Binders
1421
1421
}
1422
1422
1423
1423
pub ( crate ) fn impl_self_ty_query ( db : & dyn HirDatabase , impl_id : ImplId ) -> Binders < Ty > {
1424
+ let impl_loc = impl_id. lookup ( db. upcast ( ) ) ;
1424
1425
let impl_data = db. impl_data ( impl_id) ;
1425
1426
let resolver = impl_id. resolver ( db. upcast ( ) ) ;
1427
+ let _cx = stdx:: panic_context:: enter ( format ! (
1428
+ "impl_self_ty_query({:?} -> {:?} -> {:?})" ,
1429
+ impl_id, impl_loc, impl_data
1430
+ ) ) ;
1426
1431
let generics = generics ( db. upcast ( ) , impl_id. into ( ) ) ;
1427
1432
let ctx =
1428
1433
TyLoweringContext :: new ( db, & resolver) . with_type_param_mode ( TypeParamLoweringMode :: Variable ) ;
@@ -1448,10 +1453,13 @@ pub(crate) fn impl_self_ty_recover(
1448
1453
}
1449
1454
1450
1455
pub ( crate ) fn impl_trait_query ( db : & dyn HirDatabase , impl_id : ImplId ) -> Option < Binders < TraitRef > > {
1456
+ let impl_loc = impl_id. lookup ( db. upcast ( ) ) ;
1451
1457
let impl_data = db. impl_data ( impl_id) ;
1452
1458
let resolver = impl_id. resolver ( db. upcast ( ) ) ;
1453
- let _cx =
1454
- stdx:: panic_context:: enter ( format ! ( "impl_trait_query({:?} -> {:?})" , impl_id, impl_data) ) ;
1459
+ let _cx = stdx:: panic_context:: enter ( format ! (
1460
+ "impl_trait_query({:?} -> {:?} -> {:?})" ,
1461
+ impl_id, impl_loc, impl_data
1462
+ ) ) ;
1455
1463
let ctx =
1456
1464
TyLoweringContext :: new ( db, & resolver) . with_type_param_mode ( TypeParamLoweringMode :: Variable ) ;
1457
1465
let ( self_ty, binders) = db. impl_self_ty ( impl_id) . into_value_and_skipped_binders ( ) ;
0 commit comments