@@ -236,15 +236,6 @@ pub trait HirDatabase: DefDatabase + std::fmt::Debug {
236236 fn trait_impls_in_deps ( & self , krate : Crate ) -> Arc < [ Arc < TraitImpls > ] > ;
237237
238238 // Interned IDs for Chalk integration
239- #[ salsa:: interned]
240- fn intern_type_or_const_param_id (
241- & self ,
242- param_id : TypeOrConstParamId ,
243- ) -> InternedTypeOrConstParamId ;
244-
245- #[ salsa:: interned]
246- fn intern_lifetime_param_id ( & self , param_id : LifetimeParamId ) -> InternedLifetimeParamId ;
247-
248239 #[ salsa:: interned]
249240 fn intern_impl_trait_id ( & self , id : ImplTraitId ) -> InternedOpaqueTyId ;
250241
@@ -329,9 +320,31 @@ fn hir_database_is_dyn_compatible() {
329320 fn _assert_dyn_compatible ( _: & dyn HirDatabase ) { }
330321}
331322
332- impl_intern_key ! ( InternedTypeOrConstParamId , TypeOrConstParamId ) ;
323+ #[ salsa_macros:: interned( no_lifetime, revisions = usize :: MAX ) ]
324+ #[ derive( PartialOrd , Ord ) ]
325+ pub struct InternedTypeOrConstParamId {
326+ pub loc : TypeOrConstParamId ,
327+ }
328+ impl :: std:: fmt:: Debug for InternedTypeOrConstParamId {
329+ fn fmt ( & self , f : & mut :: std:: fmt:: Formatter < ' _ > ) -> :: std:: fmt:: Result {
330+ f. debug_tuple ( stringify ! ( InternedTypeOrConstParamId ) )
331+ . field ( & format_args ! ( "{:04x}" , self . 0 . index( ) ) )
332+ . finish ( )
333+ }
334+ }
333335
334- impl_intern_key ! ( InternedLifetimeParamId , LifetimeParamId ) ;
336+ #[ salsa_macros:: interned( no_lifetime, revisions = usize :: MAX ) ]
337+ #[ derive( PartialOrd , Ord ) ]
338+ pub struct InternedLifetimeParamId {
339+ pub loc : LifetimeParamId ,
340+ }
341+ impl :: std:: fmt:: Debug for InternedLifetimeParamId {
342+ fn fmt ( & self , f : & mut :: std:: fmt:: Formatter < ' _ > ) -> :: std:: fmt:: Result {
343+ f. debug_tuple ( stringify ! ( InternedLifetimeParamId ) )
344+ . field ( & format_args ! ( "{:04x}" , self . 0 . index( ) ) )
345+ . finish ( )
346+ }
347+ }
335348
336349impl_intern_key ! ( InternedConstParamId , ConstParamId ) ;
337350
0 commit comments